Cover Image

On the Model Theory of Second-Order Objects

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hyttinen, Tapani, Puljujärvi, Joni, Quadrellaro, Davide Emilio
Format:	Preprint
Published:	2024
Subjects:	Logic 03C45, 03C48, 03C85
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

The Construction Principle and superstability of free objects in varieties of algebras
by: Hyttinen, Tapani, et al.
Published: (2026)

A New Construction Principle
by: Hyttinen, Tapani, et al.
Published: (2025)

On Borel subsets of generalized Baire spaces
by: Hyttinen, Tapani, et al.
Published: (2025)

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
by: Hirvonen, Åsa, et al.
Published: (2024)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
by: Paolini, Gianluca, et al.
Published: (2024)

On Stability and Existence of Models in Abstract Elementary Classes
by: Mazari-Armida, Marcos, et al.
Published: (2024)

Long limit models are isomorphic assuming a splitting-like relation
by: Beard, Jeremy
Published: (2025)

An NIP-like Notion in Abstract Elementary Classes
by: Yang, Wentao
Published: (2023)

Disjoint non-forking amalgamation in stable AECs
by: Beard, Jeremy
Published: (2026)

Building models in small cardinals in local abstract elementary classes
by: Mazari-Armida, Marcos, et al.
Published: (2023)

On the spectrum of limit models
by: Beard, Jeremy, 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)

A Study of Abstract Elementary Classes in the context of Graphs
by: Rajan, Navaneetha Madaparambu
Published: (2023)

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

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

Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)

Zilber's notion of logically perfect structure: Universal Covers
by: Baldwin, John T., et al.
Published: (2023)

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

NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)

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

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

Model Theory of Homogeneous D-sets
by: Estrada, Felipe, et al.
Published: (2025)

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

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

Saturation of reduced products
by: De Bondt, Ben, et al.
Published: (2024)

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

Generic multiplicative endomorphism of a field
by: d'Elbée, Christian
Published: (2022)

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

Local stability in structures with a standard sort
by: Barbina, Silvia, et al.
Published: (2025)

Some contributions to presheaf model theory
by: Brunner, Andreas, et al.
Published: (2024)

On limit models and parametrized noetherian rings
by: Mazari-Armida, Marcos
Published: (2024)

On dp-minimal expansions of the integers II
by: Alouf, Eran
Published: (2024)

Existence in NSOP$_1$ theories
by: Kim, Byunghan, et al.
Published: (2024)

A note on $\varepsilon$-stability
by: Chavarria, Nicolas
Published: (2024)

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

VC-Density in Pairs of Ordered Vector Space
by: Günaydın, Ayhan, et al.
Published: (2024)

On stable Kim-forking and rosy theories
by: Miguel-Gómez, Alberto
Published: (2025)

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

General real-valued theories with the Schröder-Bernstein property are stable
by: Berenstein, Alexander, et al.
Published: (2025)