Image de couverture de livre

Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ju, Daheng, Jing, Qihang
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Axioms of Arboreal Categories
par: Jakl, Tomáš, et autres
Publié: (2026)

The Largest Suslin Axiom
par: Sargsyan, Grigor, et autres
Publié: (2021)

The Open Coloring Axiom
par: Matos-Wiederhold, Tonatiuh
Publié: (2022)

Axiom $\mathcal{A}$ and supercompactness
par: Poveda, Alejandro
Publié: (2024)

Separating Subversion Forcing Axioms
par: Sakai, Hiroshi, et autres
Publié: (2023)

The Galvin property under the Ultrapower Axiom
par: Benhamou, Tom, et autres
Publié: (2023)

Structures Associated with Real Closed Fields and the Axiom of Choice
par: Carl, Merlin
Publié: (2014)

Left-Linear Completion with AC Axioms
par: Niederhauser, Johannes, et autres
Publié: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results
par: Gilton, Thomas
Publié: (2025)

Reflexive graph lenses in univalent foundations
par: Sterling, Jonathan
Publié: (2024)

Globally valued fields: foundations
par: Yaacov, Itaï Ben, et autres
Publié: (2024)

Comparing forcing approaches to dense ideals
par: Eskew, Monroe
Publié: (2025)

Separable C*-algebras Without the Countable Axiom of Choice
par: Blackadar, Bruce, et autres
Publié: (2026)

Multi-level Nonstandard Analysis and the Axiom of Choice
par: Hrbacek, Karel
Publié: (2024)

The Logic of Cardinality Comparison Without the Axiom of Choice
par: Harrison-Trainor, Matthew, et autres
Publié: (2022)

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

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
par: Blot, Valentin, et autres
Publié: (2024)

A Gentle Introduction to the Axiom of Choice
par: Blass, Andreas, et autres
Publié: (2025)

Axioms for Arbitrary Object Theory
par: Steinkrauss, Luca, et autres
Publié: (2025)

The uncountability of the reals and the Axiom of Choice
par: Normann, Dag, et autres
Publié: (2026)

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
par: Ikegami, Daisuke, et autres
Publié: (2025)

Higher Dimensional Chain Conditions
par: Todorcevic, Stevo, et autres
Publié: (2023)

On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
par: Castelnovo, Davide, et autres
Publié: (2024)

Axe 'Em: Eliminating Spurious States with Induction Axioms
par: Elad, Neta, et autres
Publié: (2024)

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

New foundations of reasoning via real-valued first-order logics
par: Badia, Guillermo, et autres
Publié: (2022)

Minimally Comparing Relational Abstract Domains
par: Ballou, Kenny, et autres
Publié: (2023)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

On Separating Wholeness Axioms
par: Jeon, Hanul
Publié: (2023)

Enriching Ontologies with Disjointness Axioms using Large Language Models
par: Crum, Elias, et autres
Publié: (2024)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
par: Larson, Paul B., et autres
Publié: (2025)

Comparing differentiable logics for learning with logical constraints
par: Flinkow, Thomas, et autres
Publié: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
par: Kirst, Dominik, et autres
Publié: (2026)

Defeasible Conditionals using Answer Set Programming
par: Dennison, Racquel, et autres
Publié: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

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

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

Comparing Session Type Systems derived from Linear Logic
par: Heuvel, Bas van den, et autres
Publié: (2024)