Image de couverture de livre

Constructive theory of ordinals

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Coquand, Thierry, Lombardi, Henri, Neuwirth, Stefan
Format:	Preprint
Publié:	2022
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
par: Neuwirth, Stefan, et autres
Publié: (2024)

Azumaya algebras and Barr Theorem
par: Coquand, Thierry, et autres
Publié: (2023)

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

The Regular Element Property in Constructive Mathematics
par: Coquand, Thierry
Publié: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
par: Coquand, Thierry, et autres
Publié: (2026)

Reduction Free Normalisation for a proof irrelevant type of propositions
par: Coquand, Thierry
Publié: (2021)

Two Remarks about Game Semantics of Classical Logic
par: Coquand, Thierry
Publié: (2026)

Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
par: Coquand, Thierry
Publié: (2026)

Geometric theories for real number algebra without sign test or dependent choice axiom
par: Lombardi, Henri, et autres
Publié: (2024)

Controlling unfolding in type theory
par: Gratzer, Daniel, et autres
Publié: (2022)

Chatelet's Theorem in Synthetic Algebraic Geometry
par: Coquand, Thierry, et autres
Publié: (2025)

The equivariant model structure on cartesian cubical sets
par: Awodey, Steve, et autres
Publié: (2024)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
par: Bezem, Marc, et autres
Publié: (2026)

Anneaux à diviseurs et anneaux de Krull (une approche constructive)
par: Coquand, Thierry, et autres
Publié: (2015)

Equational theory of ordinals with addition and left multiplication by $ω$
par: Choffrut, Christian
Publié: (2024)

Realizing the totally unordered structure of ordinals
par: Fontanella, Laura, et autres
Publié: (2025)

A Note About Models of Synthetic Algebraic Geometry
par: Coquand, Thierry, et autres
Publié: (2025)

An ordinal analysis of a single stable ordinal
par: Arai, Toshiyasu
Publié: (2022)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
par: Bezem, Marc, et autres
Publié: (2022)

A Foundation for Synthetic Algebraic Geometry
par: Cherubini, Felix, et autres
Publié: (2023)

Games with backtracking options corresponding to the ordinal analysis of $PA$
par: Ken, Eitetsu
Publié: (2024)

Heitmann dimension of distributive lattices and commutative rings
par: Coquand, Thierry, et autres
Publié: (2023)

Higher arithmetic on the ordinals
par: Ducourtial, Adrian
Publié: (2025)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
par: Fernández-Duque, David, et autres
Publié: (2022)

Coherence Theory in Higher Identity Types Analytical Formalization of the Gnomonic Computation Model
par: Lombardi, Roberto
Publié: (2026)

Projective Space in Synthetic Algebraic Geometry
par: Cherubini, Felix, et autres
Publié: (2024)

An ordinal analysis of $Π_{N}$-Collection
par: Arai, Toshiyasu
Publié: (2023)

Antichain of ordinals in intuitionistic set theory
par: Wang, Shuwei
Publié: (2025)

A Foundation for Synthetic Stone Duality
par: Cherubini, Felix, et autres
Publié: (2024)

Constructive Ordinal Exponentiation
par: de Jong, Tom, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

Monotone infinitary operations on ordinals (extended version)
par: Lipparini, Paolo
Publié: (2025)

Clarifying ordinals
par: Schweber, Noah
Publié: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

Bringing closure to theory combination properties
par: Toledo, Guilherme V., et autres
Publié: (2026)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
par: Wißmann, Thorsten, et autres
Publié: (2024)

Strong negation in the theory of computable functionals TCF
par: Köpp, Nils, et autres
Publié: (2022)