Cover Image

Model theory of second order logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Väänänen, Jouko
Format:	Preprint
Published:	2025
Subjects:	Logic 03C85
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

New inner models from second order logics
by: Magidor, Menachem, et al.
Published: (2025)

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

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

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

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

On Borel subsets of generalized Baire spaces
by: Hyttinen, Tapani, 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 New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

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

Expressibility and inexpressibility in propositional team logics
by: Häggblom, Matilda, et al.
Published: (2025)

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

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

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

Inner Models from Extended Logics: Part 2
by: Kennedy, Juliette, et al.
Published: (2020)

Team Semantics and Independence Notions in Quantum Physics
by: Abramsky, Samson, et al.
Published: (2021)

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

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

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

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

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

Aronszajn trees and maximality
by: Ben-Neria, Omer, et al.
Published: (2023)

Courcelle's Theorem Without Logic
by: Filmus, Yuval, et al.
Published: (2025)

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

Affine logic with the integration operator
by: Bagheri, Seyed-Mohammad
Published: (2026)

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

Projective curves and weak second-order logic
by: Berarducci, Alessandro, et al.
Published: (2025)

The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

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)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

Uniqueness of constructible models in continuous logic
by: Hanson, James E.
Published: (2025)

Continuous logic in a classical setting
by: Agostini, Claudio, et al.
Published: (2024)

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

Vaught's conjecture for theories of discretely ordered structures
by: Tanović, Predrag
Published: (2022)

Paths, Ends and The Separation Problem for Infinite Graphs
by: Carrasco-Vargas, Nicanor, et al.
Published: (2024)

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

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