Buchumschlag

A foundation for deductive mathematics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Quinn, Frank
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic Category Theory History and Overview 03E65 (set theory) 18A05 (categories) 03B60 (logic)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On foundations for deductive mathematics
von: Quinn, Frank
Veröffentlicht: (2024)

Modern Definition and Ancient Definition
von: Protin, Clarence
Veröffentlicht: (2022)

Aristotle's Second-Order Logic and Natural Deduction
von: Protin, Clarence
Veröffentlicht: (2023)

Nelson's Logical Diagrams
von: Aberdein, Andrew
Veröffentlicht: (2023)

History of Archimedean and non-Archimedean approaches to uniform processes: Uniformity, symmetry, regularity
von: Bottazzi, Emanuele, et al.
Veröffentlicht: (2025)

Modern incarnations of the Aristotelian concepts of Continuum and Topos
von: Protin, Clarence
Veröffentlicht: (2021)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
von: Colomina-Alminana, Juan J.
Veröffentlicht: (2026)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
von: Coquand, Thierry, et al.
Veröffentlicht: (2017)

The Gamified Katětov order is not linear (in fact, very much not so)
von: Kihara, Takayuki, et al.
Veröffentlicht: (2026)

Homotopical inverse diagrams in categories with attributes
von: Kapulkin, Chris, et al.
Veröffentlicht: (2018)

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
von: Kihara, Takayuki, et al.
Veröffentlicht: (2026)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
von: Gilson, Frank
Veröffentlicht: (2025)

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
von: Colomina-Alminana, Juan J.
Veröffentlicht: (2026)

Comparing semantic frameworks for dependently-sorted algebraic theories
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2024)

Comportamientos extraños del infinito: Gráficas Infinitas
von: Fernández-Bretón, David J., et al.
Veröffentlicht: (2025)

Truncation, Negation, and Coherence Obstructions in Higher-Categorical Logic
von: Yugo Hidaka
Veröffentlicht: (2026)

Evolution systems: A framework for studying generic mathematical structures
von: Kubiś, Wiesław, et al.
Veröffentlicht: (2021)

Any function I can actually write down is measurable, right?
von: Hanson, James E.
Veröffentlicht: (2025)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
von: Mancosu, Paolo, et al.
Veröffentlicht: (2023)

Makkai's lost proof of projectivity of N in the free topos
von: Forssell, Henrik, et al.
Veröffentlicht: (2026)

Secrets and Quantifiers
von: Bajnok, Bela, et al.
Veröffentlicht: (2024)

A formula for any real number, maybe
von: Hanson, James E., et al.
Veröffentlicht: (2026)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

Simultaneously nonvanishing higher derived limits
von: Casarosa, Matteo, et al.
Veröffentlicht: (2024)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Hilbert's Program and Infinity
von: Zach, Richard
Veröffentlicht: (2026)

Constructive reflectivity principles for regular theories
von: Forssell, Henrik, et al.
Veröffentlicht: (2016)

A Categorical Generalization of Counterpoint
von: Agustín-Aquino, Octavio A., et al.
Veröffentlicht: (2018)

Infinitary combinatorics in condensed math and strong homology
von: Bergfalk, Jeffrey, et al.
Veröffentlicht: (2024)

Homotopy reflectivity is equivalent to the weak Vopěnka principle
von: Casacuberta, Carles, et al.
Veröffentlicht: (2024)

From Coefficients to Distributions: De~Moivre and the Operational View of Probability
von: Labouriau, R.
Veröffentlicht: (2026)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

Model theory in compactly generated (tensor-)triangulated categories
von: Prest, Mike, et al.
Veröffentlicht: (2023)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

History of confluent Vandermonde matrices and inverting them algorithms
von: Respondek, Jerzy S
Veröffentlicht: (2024)

Formalism 25
von: Katz, Mikhail G., et al.
Veröffentlicht: (2025)

Notes on Category Theory with examples from basic mathematics
von: Perrone, Paolo
Veröffentlicht: (2019)

Bochvar algebras: A categorical equivalence and the generated variety
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

Faith Believes, Hope Expects: The Impact of Calvin's Theology on the Mathematics of Chance
von: Johnson, Timothy C.
Veröffentlicht: (2024)