Cover Image

On double-membership graphs of models of Anti-Foundation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Adam-Day, Bea, Howe, John, Mennuni, Rosario
Format:	Preprint
Published:	2019
Subjects:	Logic 03C62 (Primary) 03C13, 03E30, 03E65 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Some definable types that cannot be amalgamated
by: Hils, Martin, et al.
Published: (2022)

Hindman's Theorem in the hierarchy of Choice Principles
by: Fernández-Bretón, David J.
Published: (2022)

New consequences of PFA($T^*$)
by: Martínez-Ranero, Carlos, et al.
Published: (2025)

Proxy principles in combinatorial set theory
by: Brodsky, Ari Meir, et al.
Published: (2024)

$Σ_n$-correct Forcing Axioms
by: Goodman, Ben
Published: (2024)

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

Broad Infinity and Generation Principles
by: Levy, Paul Blain
Published: (2021)

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

Marginalia to a Theorem of Asperó and Schindler
by: Kasum, Obrad, et al.
Published: (2023)

Universality properties of forcing
by: Parente, Francesco, et al.
Published: (2023)

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions
by: Ryan-Smith, Calliope
Published: (2023)

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

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

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

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

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

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

Plenitudinous Urelements and the Definability of Cardinality
by: Yao, Bokai
Published: (2025)

Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)

The domination monoid in o-minimal theories
by: Mennuni, Rosario
Published: (2020)

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

Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals
by: Cardona, Miguel Antonio, et al.
Published: (2021)

A Complete Bounded Theory with Unbounded Types
by: Zhu, Hongyu
Published: (2026)

A model for global compactness
by: Jirattikansakul, Sittinon, et al.
Published: (2024)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)

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

Compactness and Symmetric Well Orders
by: Dasgupta, Abhijit
Published: (2022)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
by: Krueger, John
Published: (2026)

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

A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)

Orthogonality and domination in o-minimal expansions of ordered groups
by: Guerrero, Pablo Andújar, et al.
Published: (2025)

Intermediate models and Kinna--Wagner Principles
by: Karagila, Asaf, et al.
Published: (2024)

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

What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)

Counting Sets with Surnatural Numbers
by: Lynch, Peter, et al.
Published: (2023)

A new model for all $C$-sequences are trivial
by: Rinot, Assaf, et al.
Published: (2025)

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

Two $\mathfrak{b}$ or not two $\mathfrak{b}$?
by: Filipów, Rafał, et al.
Published: (2025)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)