Cover Image

A Foundation for the Core Mathematician

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mumford, David, Friedman, Sy-David
Format:	Preprint
Published:	2026
Subjects:	Logic 03A05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generalized Descriptive Set Theory and Classification Theory
by: Friedman, Sy-David, et al.
Published: (2012)

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

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

Good projective witnesses
by: Fischer, Vera, et al.
Published: (2019)

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)

LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)

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

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)

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

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

Algebraic structures arising from the finite condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

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

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

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

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

Generalization of terms via universal algebra
by: Flaminio, Tommaso, et al.
Published: (2025)

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

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

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)

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

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

A hierarchy on non-archimedean Polish groups admitting a compatible complete left-invariant metric
by: Ding, Longyun, et al.
Published: (2023)

The countable condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

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

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
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)

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

Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
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)

The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

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

The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

Lebesgue measure zero modulo ideals on the natural numbers
by: Gavalová, Viera, et al.
Published: (2022)

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
by: Inamdar, Tanmay, et al.
Published: (2024)