Work

A Natural Semantics for the Pullback of Fiber Bundles of Structures

Year: 2025

Type: article

Abstract: We remark that forcing in fiber bundles of structures of first order languages is not a compatible semantics with the pullback (of fiber bundles). Motivated by a combination of epistemology and geometry, we describe a semantics which behaves well with respect to the pullback. This new semantics uses parallel transport in its definition and allows to introduce two different types of extensions for the formulas: vertical and horizontal extensions.

Source: Studia Logica

DOI: 10.1007/s11225-024-10164-8

Authors: Leonardo A. Cano G., Pedro H. Zambrano

Institution: Universidad Nacional de Colombia

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,990

Funder: Universidad Nacional de Colombia