Add to ORKGWe give a necessary and sufficient condition in order that a type-shifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is proved that, if for every n ≥ 1 there is a model of TST in the ground model M of ZFC that contains an n-extendible coherent pair, then there is a generic exten-sion M [G] of M that contains a model of TST with a type-shifting automorphism, and hence M [G] contains a model of NF. The con-verse holds trivially. It is also proved that there exist models of TST containing 1-extendible coherent pairs
Homotopy type theory (HoTT) is a branch of mathematics that combines and benefits from a variety of ...
The notion of a natural model of type theory is defined in terms of that of a representable natural ...
The calculation of the countable model automorphism number for uncountable categorical theories is t...
The usual construction of models of NFU (New Foundations with urelements, introduced by Jensen) is d...
We show that if N and M are transitive models of ZFA such that N ⊆ M, N and M have the same kernel a...
AbstractWe study models ofHST (a nonstandard set theory which includes, in particular, the Replaceme...
A G-shift of finite type (G-SFT) is a shift of finite type which commutes with the continuous action...
AbstractWe derive a computable set of necessary and sufficient conditions for the existence of a hom...
We adapt a proof of Lascar in order to show the simplicity of the group of automorphisms fixing poin...
AbstractIt follows directly from Shelah’s structure theory that if T is a classifiable theory, then ...
AbstractThe notion of a strongly determined type over A extending p is introduced, where p .∈ S(A). ...
We present a new strictification method for type-theoretic structures that are only weakly stable un...
Abstract. Laver, and Woodin independently, showed that models of ZFC are uniformly definable in thei...
This thesis gives some general results about generalized Fraenkel-Mostowski-Specker (FMS) models and...
This thesis concerns embeddings and self-embeddings of foundational structures in both set theory an...
Homotopy type theory (HoTT) is a branch of mathematics that combines and benefits from a variety of ...
The notion of a natural model of type theory is defined in terms of that of a representable natural ...
The calculation of the countable model automorphism number for uncountable categorical theories is t...
The usual construction of models of NFU (New Foundations with urelements, introduced by Jensen) is d...
We show that if N and M are transitive models of ZFA such that N ⊆ M, N and M have the same kernel a...
AbstractWe study models ofHST (a nonstandard set theory which includes, in particular, the Replaceme...
A G-shift of finite type (G-SFT) is a shift of finite type which commutes with the continuous action...
AbstractWe derive a computable set of necessary and sufficient conditions for the existence of a hom...
We adapt a proof of Lascar in order to show the simplicity of the group of automorphisms fixing poin...
AbstractIt follows directly from Shelah’s structure theory that if T is a classifiable theory, then ...
AbstractThe notion of a strongly determined type over A extending p is introduced, where p .∈ S(A). ...
We present a new strictification method for type-theoretic structures that are only weakly stable un...
Abstract. Laver, and Woodin independently, showed that models of ZFC are uniformly definable in thei...
This thesis gives some general results about generalized Fraenkel-Mostowski-Specker (FMS) models and...
This thesis concerns embeddings and self-embeddings of foundational structures in both set theory an...
Homotopy type theory (HoTT) is a branch of mathematics that combines and benefits from a variety of ...
The notion of a natural model of type theory is defined in terms of that of a representable natural ...
The calculation of the countable model automorphism number for uncountable categorical theories is t...