Buchumschlag

On a new theory of models for formal mathematical systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kunik, Matthias
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03C07, 03F03, 03C55
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the downward Löwenheim-Skolem Theorem for elementary submodels
von: Kunik, Matthias
Veröffentlicht: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
von: Badano, Mariana
Veröffentlicht: (2025)

Model theory of class-sized logics
von: Osinski, Jonathan, et al.
Veröffentlicht: (2026)

Reduced Set Theory
von: Kunik, Matthias
Veröffentlicht: (2023)

A minimalist two-level foundation for constructive mathematics
von: Maietti, Maria Emilia
Veröffentlicht: (2008)

Club guessing and the universal models
von: Džamonja, Mirna
Veröffentlicht: (2006)

Building complicated index models and Boolean algebras
von: Shelah, Saharon
Veröffentlicht: (2024)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
von: Lyon, Tim S.
Veröffentlicht: (2025)

Cartagena Logic
von: Kivimäki, Siiri, et al.
Veröffentlicht: (2021)

Some NIP-like phenomena in NTP$_{2}$
von: Kaplan, Itay, et al.
Veröffentlicht: (2017)

Reverse mathematics of a uniform Kruskal-Friedman theorem
von: Freund, Anton
Veröffentlicht: (2021)

The calculus of names -- The legacy of Jan Łukasiewicz
von: Pietruszczak, Andrzej
Veröffentlicht: (2023)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

On Some Infinitary Logics
von: Vaananen, Jouko, et al.
Veröffentlicht: (2024)

Categoricity and amalgamation for AEC and $ κ$ measurable
von: Kolman, Oren, et al.
Veröffentlicht: (1996)

A complicated family of trees with omega + 1 levels
von: Shelah, Saharon
Veröffentlicht: (2014)

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

Building models in small cardinals in local abstract elementary classes
von: Mazari-Armida, Marcos, et al.
Veröffentlicht: (2023)

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

Generalized Von Neumann Universe and Non-Well-Founded Sets
von: Zhang, Eugene
Veröffentlicht: (2023)

Flatness and Nonforking without the Continuum Hypothesis
von: Majozi, Philani Rodney
Veröffentlicht: (2025)

The modal theory of the category of sets
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

Stable reducts of elementary extensions of Presburger arithmetic
von: Alouf, Eran, et al.
Veröffentlicht: (2024)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
von: Lücke, Philipp
Veröffentlicht: (2024)

On Stability and Existence of Models in Abstract Elementary Classes
von: Mazari-Armida, Marcos, et al.
Veröffentlicht: (2024)

The elementary theory of free Steiner triple systems
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)

Cohen-like first order structures
von: Kostana, Ziemowit
Veröffentlicht: (2020)

Model Theory of Homogeneous D-sets
von: Estrada, Felipe, et al.
Veröffentlicht: (2025)

Quite Complete Real Closed fields
von: Shelah, Saharon
Veröffentlicht: (2001)

$\leq_{SP}$ Can Have Infinitely Many Classes
von: Shelah, Saharon, et al.
Veröffentlicht: (2018)

Cohen Generic Structures with Functions
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2023)

Elements of affine model theory
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2024)

Some contributions to presheaf model theory
von: Brunner, Andreas, et al.
Veröffentlicht: (2024)

A characterization of Continuous Logic by using quantale-valued logics
von: Reyes, David, et al.
Veröffentlicht: (2021)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Notions of rank and independence in countably categorical theories
von: Koponen, Vera
Veröffentlicht: (2025)

Proof-theoretic dilator and intermediate pointclasses
von: Jeon, Hanul
Veröffentlicht: (2025)

On the Various Translations between Classical, Intuitionistic and Linear Logic
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

More on expressibility of satisfiability in submodels and extensions
von: Poliakov, Nikolai L., et al.
Veröffentlicht: (2026)

Fragments of arithmetic and cyclic proofs
von: Beklemishev, Lev D., et al.
Veröffentlicht: (2025)