Cover Image

Abstract Model Structures and Compactness Theorems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Roy, Sayantan, Basu, Sankha S., Chakraborty, Mihir K.
Format:	Preprint
Published:	2025
Subjects:	Logic 03C95, 03B22
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

Rule-Elimination Theorems
by: Roy, Sayantan
Published: (2024)

Retractors in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Completeness in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

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

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

Interpolation in model theory
by: Väänänen, Jouko
Published: (2025)

Domination, fibrations and splitting
by: Eagles, Christine, et al.
Published: (2025)

A note on transfer maps and the Morley product in NIP theories
by: Gannon, Kyle
Published: (2024)

Imaginaries, products and the adele ring
by: Derakhshan, Jamshid, et al.
Published: (2023)

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

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

Some NIP-like phenomena in NTP$_{2}$
by: Kaplan, Itay, et al.
Published: (2017)

Model theory of class-sized logics
by: Osinski, Jonathan, et al.
Published: (2026)

Hierarchies of direct powers, ultrapowers and cumulative powers
by: Yago, Pedro Teixeira
Published: (2026)

Cartagena Logic
by: Kivimäki, Siiri, et al.
Published: (2021)

Logic families
by: Andréka, H., et al.
Published: (2023)

On Some Infinitary Logics
by: Vaananen, Jouko, et al.
Published: (2024)

Density of compressible types and some consequences
by: Bays, Martin, et al.
Published: (2021)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
by: Yao, Ningyuan, et al.
Published: (2026)

Inner models from extended logics and the Delta-operation
by: Väänänen, Jouko, et al.
Published: (2025)

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

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

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Paracomplete Probabilities
by: Basu, Sankha S., et al.
Published: (2025)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

On the undefinability of pathological Banach spaces
by: Hamel, Clovis, et al.
Published: (2024)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

Lifting independence along functors
by: Kamsma, Mark, et al.
Published: (2024)

An unusual example of a universal automorphism group
by: Sullivan, Rob, et al.
Published: (2026)

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

Infinitary Logics and Abstract Elementary Classes
by: Shelah, Saharon, et al.
Published: (2020)

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
by: Bahl, Rohan
Published: (2024)

Adding an Implication to Logics of Perfect Paradefinite Algebras
by: Greati, Vitor, et al.
Published: (2023)

Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
by: Maia, Duarte
Published: (2026)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

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