Cover Image

A Reflection Principle for Potential Infinite Models of Type Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Eberl, Matthias
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Logic 03B16, 03C30, 03C85
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Model Theory of Second-Order Objects
by: Hyttinen, Tapani, et al.
Published: (2024)

Compactness in Team Semantics
by: Puljujärvi, Joni, et al.
Published: (2022)

Strict potentialism in modal mirrors
by: Linnebo, Øystein
Published: (2026)

Model theory of second order logic
by: Väänänen, Jouko
Published: (2025)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

Model-theoretic characterizations of large cardinals (Re)${}^2$visited
by: Boney, Will, et al.
Published: (2025)

The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
by: Tall, Franklin D., et al.
Published: (2024)

Elementary equivalence of endomorphism rings and automorphism groups of periodic Abelian groups
by: Bunina, Elena
Published: (2024)

Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

On the categoricity of complete second order theories
by: Saarinen, Tapio, et al.
Published: (2024)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

A Note on Los's Theorem for Kripke-Joyal Semantics
by: Aiguier, Marc, et al.
Published: (2024)

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

Kinds of preservations for properties
by: Rajabov, Temurboy E., et al.
Published: (2025)

More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)

Expansions and restrictions of structures and theories, their hierarchies
by: Sudoplatov, Sergey V.
Published: (2025)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Model theoretic events
by: Gannon, Kyle, et al.
Published: (2024)

A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
by: Lücke, Philipp
Published: (2024)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Generalized Explosion Principles: A Semantic Perspective
by: Basu, Sankha S., et al.
Published: (2025)

Dependent Types Simplified
by: Bice, Tristan
Published: (2025)

More conservativity for weak Kőnig's lemma
by: Freund, Anton, et al.
Published: (2024)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
by: Nichols, David
Published: (2017)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

A Complete Bounded Theory with Unbounded Types
by: Zhu, Hongyu
Published: (2026)