Cover Image

Axioms for Arbitrary Object Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Steinkrauss, Luca, Horsten, Leon
Format:	Preprint
Published:	2025
Subjects:	Logic 03A05 03A99
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

A Closer Look at the Russell Paradox
by: Sheridan, Flash
Published: (2021)

On equationally Noetherian predicate structures
by: Buchinskiy, Ivan, et al.
Published: (2024)

Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)

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

Zilber dichotomy for $DCF_{0,m}$
by: Sanchez, Omar Leon
Published: (2024)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

A Foundation for Synthetic Stone Duality
by: Cherubini, Felix, et al.
Published: (2024)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
by: Citkin, Alex, et al.
Published: (2025)

A completion of reduced commutative rings
by: Carai, Luca, et al.
Published: (2026)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

Wand/set theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set
by: Button, Tim
Published: (2023)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
by: Beeson, Michael
Published: (2021)

The iterative conception of function and the iterative conception of set
by: Button, Tim
Published: (2023)

A Foundation for the Core Mathematician
by: Mumford, David, et al.
Published: (2026)

Some reflections on the relationship between logical incompleteness and concrete incompleteness
by: Cheng, Yong
Published: (2024)

Is Peirce's reduction thesis gerrymandered?
by: Koshkin, Sergiy
Published: (2024)

Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras
by: van Nispen, K. R.
Published: (2025)

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)

On Borel sets in ideal topologies
by: Moreno, Miguel, et al.
Published: (2025)

Paracomplete Probabilities
by: Basu, Sankha S., et al.
Published: (2025)

Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
by: Cheng, Yong
Published: (2019)

Hindman and Owings-like theorems without the Axiom of Choice
by: Guzmán-Vega, José A., et al.
Published: (2026)

Strict potentialism in modal mirrors
by: Linnebo, Øystein
Published: (2026)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

Baumgartner's Axiom and Small Posets
by: Marun, Pedro, et al.
Published: (2025)

Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)

Filters on a countable vector space
by: Smythe, Iian B.
Published: (2021)

On forcing axioms and weakenings of the Axiom of Choice
by: Bomfim, Diego Lima, et al.
Published: (2024)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

A Note About Models of Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)

Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)