Image de couverture de livre

On foundations for deductive mathematics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Quinn, Frank
Format:	Preprint
Publié:	2024
Sujets:	History and Overview Logic 03E65 (set theory) 18A05 (categories) 03B60 (logic)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A foundation for deductive mathematics
par: Quinn, Frank
Publié: (2021)

Modern Definition and Ancient Definition
par: Protin, Clarence
Publié: (2022)

Aristotle's Second-Order Logic and Natural Deduction
par: Protin, Clarence
Publié: (2023)

Nelson's Logical Diagrams
par: Aberdein, Andrew
Publié: (2023)

History of Archimedean and non-Archimedean approaches to uniform processes: Uniformity, symmetry, regularity
par: Bottazzi, Emanuele, et autres
Publié: (2025)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
par: Colomina-Alminana, Juan J.
Publié: (2026)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
par: Coquand, Thierry, et autres
Publié: (2017)

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
par: Colomina-Alminana, Juan J.
Publié: (2026)

Comportamientos extraños del infinito: Gráficas Infinitas
par: Fernández-Bretón, David J., et autres
Publié: (2025)

Any function I can actually write down is measurable, right?
par: Hanson, James E.
Publié: (2025)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
par: Mancosu, Paolo, et autres
Publié: (2023)

Secrets and Quantifiers
par: Bajnok, Bela, et autres
Publié: (2024)

A formula for any real number, maybe
par: Hanson, James E., et autres
Publié: (2026)

Hilbert's Program and Infinity
par: Zach, Richard
Publié: (2026)

History of confluent Vandermonde matrices and inverting them algorithms
par: Respondek, Jerzy S
Publié: (2024)

Formalism 25
par: Katz, Mikhail G., et autres
Publié: (2025)

Faith Believes, Hope Expects: The Impact of Calvin's Theology on the Mathematics of Chance
par: Johnson, Timothy C.
Publié: (2024)

Huge Reflection
par: Bagaria, Joan, et autres
Publié: (2021)

Constructive Mathematics
par: Mandelkern, Mark
Publié: (2024)

Mathematical Proof
par: Bauschke, Heinz H.
Publié: (2026)

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

From Coefficients to Distributions: De~Moivre and the Operational View of Probability
par: Labouriau, R.
Publié: (2026)

Large cardinals, structural reflection, and the HOD Conjecture
par: Aguilera, Juan P., et autres
Publié: (2024)

On the limits of comparing subset sizes within $\mathbb{N}$
par: Wenmackers, Sylvia
Publié: (2024)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
par: Citkin, Alex, et autres
Publié: (2025)

A Modern Retrospective on Probabilistic Numerics
par: Oates, C. J., et autres
Publié: (2019)

Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin
par: Rodin, Andrei
Publié: (2024)

Vopěnka's Alternative Set Theory as a framework for feasible numbers
par: Haniková, Zuzana
Publié: (2026)

An almost strong relation
par: Garti, Shimon, et autres
Publié: (2023)

Convex Team Logics
par: Anttila, Aleksi, et autres
Publié: (2025)

A Road To Compactness Through Guessing Models
par: Mohammadpour, Rahman
Publié: (2022)

Ultrafilters in the random real model
par: Dow, Alan, et autres
Publié: (2025)

On humanization of mathematics: aesthetic mathematics
par: Inoué, Takao
Publié: (2023)

Homotopical inverse diagrams in categories with attributes
par: Kapulkin, Chris, et autres
Publié: (2018)

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

The Ramsey property and higher dimensional mad families
par: Schrittesser, David, et autres
Publié: (2020)

Hegel and Modern Topology
par: Protin, Clarence
Publié: (2025)

Compactness for small cardinals in mathematics: principles, consequences, and limitations
par: Honzik, Radek
Publié: (2025)

Proxy principles in combinatorial set theory
par: Brodsky, Ari Meir, et autres
Publié: (2024)

New consequences of PFA($T^*$)
par: Martínez-Ranero, Carlos, et autres
Publié: (2025)