:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kennedy, Juliette, Magidor, Menachem, Väänänen, Jouko
Format:	Preprint
Published:	2020
Subjects:	Logic 03E45
Online Access:	https://arxiv.org/abs/2007.10766
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

Twins: non-isomorphic models forced to be isomorphic. Part I
by: Shelah, Saharon
Published: (2025)

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

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

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

More Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2026)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
by: Watson, Connor
Published: (2024)

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

Fine structure from normal iterability
by: Schlutzenberg, Farmer
Published: (2020)

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
by: Schlutzenberg, Farmer
Published: (2019)

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

Ordinal definability in $L[\mathbb{E}]$
by: Schlutzenberg, Farmer
Published: (2020)

Power $Σ_1$ in Card with two Woodin cardinals
by: Schlutzenberg, Farmer
Published: (2025)

$\star$-translation for Varsovian models
by: Schlutzenberg, Farmer
Published: (2026)

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
by: Levinson, Derek, et al.
Published: (2022)

Full normalization for transfinite stacks
by: Schlutzenberg, Farmer
Published: (2021)

Of Mice and Machetes
by: Henney-Turner, Christopher, et al.
Published: (2024)

Varsovian models $ω$
by: Schlutzenberg, Farmer
Published: (2022)

Full normalization for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2025)

The initial segment condition for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2023)

The fine structure of operator mice
by: Schlutzenberg, Farmer, et al.
Published: (2016)

Iterability for (transfinite) stacks
by: Schlutzenberg, Farmer
Published: (2018)

Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2026)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
by: Schlutzenberg, Farmer
Published: (2020)

Higher Solovay Models
by: Straffelini, Cesare, et al.
Published: (2025)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

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

Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
by: Hoffelner, Stefan
Published: (2020)

Partial Tower Sealing
by: Sargsyan, Grigor, et al.
Published: (2025)

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

Terminal Absoluteness of Collapse Forcings
by: Straffelini, Cesare
Published: (2025)

$Σ^1_3$ sets in the Sacks model
by: Schilhan, Jonathan
Published: (2025)

Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
by: Hoffelner, Stefan
Published: (2025)