Definable obstruction theory
نویسندگان
چکیده
Let N = (R,+, ·, <, . . . ) be an o-minimal expansion of the standard structure of a real closed field R. In this paper, we consider an obstruction theory in the definable category of N . 2010 Mathematics Subject Classification. 55N20, 03C64.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کامل00 4 Definability and a Nonlinear Sigma Model
The concept of definability of physical fields in a set-theoretical foundation is introduced. A set theory is selected in which we get mathematics enough to produce a nonlinear sigma model. Quantization of the model requires only a null postulate and is then shown to be necessary and sufficient for definability in the theory. We obtain scale invariance and compactifica-tion of the spatial dimen...
متن کاملDefinability in Physics D.j. Bendaniel
The concept of definability of physical fields in a set-theoretical foundation is introduced and an axiomatic set theory is proposed which provides precisely the tools necessay for a nonlinear sigma model. In this theory quantization of the model derives from a null postulate and becomes equivalent to definability. We also obtain scale invariance and compactification of the spatial dimensions e...
متن کاملDefinability and a Nonlinear Sigma Model
The concept of definability of physical fields is introduced and a set-theoretical foundation for fields is proposed. In this foundation, we derive a nonlinear sigma model from a null postulate and then show that quantization of the model is necessary and sufficient for definability. We also obtain compactification of the spatial dimensions effectively and show its equivalence to quantization. ...
متن کاملGroups Definable in O-minimal Structures
In this series of lectures, we will a) introduce the basics of ominimality, b) describe the manifold topology of groups definable in o-minimal structures, and c) present a structure theorem for the special case of semi-linear groups, exemplifying their relation with real Lie groups. The structure of these lectures is as follows: (1) Basics of o-minimality: definition, Cell Decomposition Theorem...
متن کامل