Cover Image

Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ju, Daheng, Jing, Qihang
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

The Largest Suslin Axiom
by: Sargsyan, Grigor, et al.
Published: (2021)

The Open Coloring Axiom
by: Matos-Wiederhold, Tonatiuh
Published: (2022)

Axiom $\mathcal{A}$ and supercompactness
by: Poveda, Alejandro
Published: (2024)

Separating Subversion Forcing Axioms
by: Sakai, Hiroshi, et al.
Published: (2023)

The Galvin property under the Ultrapower Axiom
by: Benhamou, Tom, et al.
Published: (2023)

Structures Associated with Real Closed Fields and the Axiom of Choice
by: Carl, Merlin
Published: (2014)

Left-Linear Completion with AC Axioms
by: Niederhauser, Johannes, et al.
Published: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results
by: Gilton, Thomas
Published: (2025)

Reflexive graph lenses in univalent foundations
by: Sterling, Jonathan
Published: (2024)

Globally valued fields: foundations
by: Yaacov, Itaï Ben, et al.
Published: (2024)

Comparing forcing approaches to dense ideals
by: Eskew, Monroe
Published: (2025)

Separable C*-algebras Without the Countable Axiom of Choice
by: Blackadar, Bruce, et al.
Published: (2026)

Multi-level Nonstandard Analysis and the Axiom of Choice
by: Hrbacek, Karel
Published: (2024)

The Logic of Cardinality Comparison Without the Axiom of Choice
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
by: Blot, Valentin, et al.
Published: (2024)

A Gentle Introduction to the Axiom of Choice
by: Blass, Andreas, et al.
Published: (2025)

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

The uncountability of the reals and the Axiom of Choice
by: Normann, Dag, et al.
Published: (2026)

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
by: Ikegami, Daisuke, et al.
Published: (2025)

Higher Dimensional Chain Conditions
by: Todorcevic, Stevo, et al.
Published: (2023)

On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
by: Castelnovo, Davide, et al.
Published: (2024)

Axe 'Em: Eliminating Spurious States with Induction Axioms
by: Elad, Neta, et al.
Published: (2024)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
by: Yoo, Harim
Published: (2025)

New foundations of reasoning via real-valued first-order logics
by: Badia, Guillermo, et al.
Published: (2022)

Minimally Comparing Relational Abstract Domains
by: Ballou, Kenny, et al.
Published: (2023)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

Enriching Ontologies with Disjointness Axioms using Large Language Models
by: Crum, Elias, et al.
Published: (2024)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
by: Larson, Paul B., et al.
Published: (2025)

Comparing differentiable logics for learning with logical constraints
by: Flinkow, Thomas, et al.
Published: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
by: Kirst, Dominik, et al.
Published: (2026)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

On all numbers great and small (Topological fields of Conway's numbers and their completions)
by: Lisica, Ju. T.
Published: (2024)

Skands and coskands (The non-founded set theory with individuals and its model in the Field of all Conway numbers)
by: Lisica, Ju. T.
Published: (2025)

Comparing Session Type Systems derived from Linear Logic
by: Heuvel, Bas van den, et al.
Published: (2024)