| Autor: |
G, Leonardo A. Cano, Zambrano, Pedro H. |
| Rok vydání: |
2018 |
| Předmět: |
|
| Druh dokumentu: |
Working Paper |
| Popis: |
We remark that forcing on fiber bundles of structures of first order languages is not a compatible semantics with the pullback (of fiber bundles) and we describe a semantics which behaves well with respect to it. This new semantics uses parallel transport and allows to introduce two different types of extensions for the formulae: vertical and horizontal extensions. |
| Databáze: |
arXiv |
| Externí odkaz: |
|
