:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Coquand, Thierry, Lombardi, Henri, Neuwirth, Stefan
Format:	Preprint
Published:	2022
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2201.04352
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
by: Neuwirth, Stefan, et al.
Published: (2024)

Azumaya algebras and Barr Theorem
by: Coquand, Thierry, et al.
Published: (2023)

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

The Regular Element Property in Constructive Mathematics
by: Coquand, Thierry
Published: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Reduction Free Normalisation for a proof irrelevant type of propositions
by: Coquand, Thierry
Published: (2021)

Two Remarks about Game Semantics of Classical Logic
by: Coquand, Thierry
Published: (2026)

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

Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)

Controlling unfolding in type theory
by: Gratzer, Daniel, et al.
Published: (2022)

Chatelet's Theorem in Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
by: Bezem, Marc, et al.
Published: (2026)

Anneaux à diviseurs et anneaux de Krull (une approche constructive)
by: Coquand, Thierry, et al.
Published: (2015)

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

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

Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
by: Bezem, Marc, et al.
Published: (2022)

A Foundation for Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2023)

An ordinal analysis of a single stable ordinal
by: Arai, Toshiyasu
Published: (2022)

Heitmann dimension of distributive lattices and commutative rings
by: Coquand, Thierry, et al.
Published: (2023)

Projective Space in Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2024)

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

Higher arithmetic on the ordinals
by: Ducourtial, Adrian
Published: (2025)

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

Games with backtracking options corresponding to the ordinal analysis of $PA$
by: Ken, Eitetsu
Published: (2024)

Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
by: Fernández-Duque, David, et al.
Published: (2022)

An ordinal analysis of $Π_{N}$-Collection
by: Arai, Toshiyasu
Published: (2023)

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant
by: Lombardi, Henri, et al.
Published: (2024)

Monotone infinitary operations on ordinals (extended version)
by: Lipparini, Paolo
Published: (2025)

Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Some notes on plump ordinals
by: Wang, Shuwei
Published: (2026)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

On closed Ramsey numbers of small countable ordinals
by: Duman, Necdet, et al.
Published: (2026)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)