Imagen de Portada

On the categoricity of complete second order theories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Saarinen, Tapio, Väänänen, Jouko, Woodin, William Hugh
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03E35, 03E47, 03C85
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Kurepa trees, continuous images, and perfect set properties
por: Lambie-Hanson, Chris, et al.
Publicado: (2024)

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
por: Hoffelner, Stefan
Publicado: (2026)

Descriptive properties of I2-embeddings
por: Dimonte, Vincenzo, et al.
Publicado: (2023)

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

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
por: Hoffelner, Stefan, et al.
Publicado: (2022)

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

The complexity of non-stationary ideals
por: Lücke, Philipp
Publicado: (2024)

The Borel monadic theory of order is decidable
por: Manthe, Sven
Publicado: (2024)

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

Generalized Descriptive Set Theory and Classification Theory
por: Friedman, Sy-David, et al.
Publicado: (2012)

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

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
por: Kanovei, Vladimir, et al.
Publicado: (2025)

Locally countable graphs of second projective class not generated by countably many projective functions
por: Kanovei, Vladimir, et al.
Publicado: (2026)

Librationism & its classical and extraclassical set theories
por: Bjørdal, Frode A.
Publicado: (2022)

A note on Łoś's Theorem without the Axiom of Choice
por: Usuba, Toshimichi
Publicado: (2023)

Coordinate recognition: General theory, Groups, and other surprises
por: Farah, I., et al.
Publicado: (2025)

A metric lifting theorem
por: De Bondt, Ben, et al.
Publicado: (2024)

A virtual five element basis for the uncountable linear orders
por: Krueger, John, et al.
Publicado: (2025)

More separations of cardinal characteristics of the strong measure zero ideal
por: Cardona, Miguel A., et al.
Publicado: (2025)

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

Increasing the second uniform indiscernible by strongly ssp forcing
por: De Bondt, Ben, et al.
Publicado: (2022)

Interpolation in model theory
por: Väänänen, Jouko
Publicado: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
por: Müller, Sandra, et al.
Publicado: (2025)

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

On ordering of surjective cardinals
por: Shen, Guozhen, et al.
Publicado: (2025)

Forcing with random variables in bounded arithmetics and set theory
por: Honzik, Radek
Publicado: (2026)

Models for short sequences of measures in the cofinality-$ω$ constructible model
por: Ya'ar, Ur
Publicado: (2021)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
por: Hamkins, Joel David, et al.
Publicado: (2022)

$\leq_{SP}$ Can Have Infinitely Many Classes
por: Shelah, Saharon, et al.
Publicado: (2018)

Cohen Generic Structures with Functions
por: Ackerman, Nathanael, et al.
Publicado: (2023)

Iterated club shooting and the stationary-logic constructible model
por: Ya'ar, Ur
Publicado: (2022)

The cardinal characteristics of the ideal generated by the $F_σ$ measure zero subsets of the reals
por: Cardona, Miguel A.
Publicado: (2024)

Uniformity numbers of the null-additive and meager-additive ideals
por: Cardona, Miguel A., et al.
Publicado: (2024)

On a cofinal Reinhardt embedding without Powerset
por: Jeon, Hanul
Publicado: (2024)

On cardinal invariants related to Rosenthal families and large-scale topology
por: Martínez-Celis, Arturo, et al.
Publicado: (2024)

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
por: Lietz, Andreas
Publicado: (2024)

Forcing Axioms and construction schemes
por: Chapital, Jorge Antonio Cruz, et al.
Publicado: (2025)