DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Ordinal analysis
Ordinal analysis
The Realm of Ordinal Analysis
On Relating Theories: Proof-Theoretical Reduction
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Ordinal Notation
Replacement Versus Collection and Related Topics in Constructive Zermelo-Fraenkel Set Theory
Proof Theory, Constructive Mathematics
Well-Partial-Orders and Ordinal Notation Systems
Formally Verifying Peano Arithmetic
Well-Partial-Orders and Ordinal Notation Systems
The Art of Ordinal Analysis
Choice Principles in Constructive and Classical Set Theories
Ordinal Analysis Without Proofs
From the Outside Looking In: Can Mathematical Certainty Be Secured Without Being Mathematically Certain That It Has Been?
The Veblen Functions for Computability Theorists
Proof Theory and the Art of Ordinal Analysis
ON the HIERARCHY of NATURAL THEORIES 11 from a Cone
The Prehistory of the Subsystems of Second-Order Arithmetic
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Top View
Arxiv:2011.01772V2 [Math.LO] 16 Aug 2021 ..Cutbest Nmteaisadlgc31 22 24 11 16 14 9 Logic and Mathematics in Zoo Sets References RM Countable the from Theorems 10 3.6
Hilbert's Program Then And
Introduction to Ordinal Analysis Hilbert–Bernays Summer School on Logic and Computation
Arxiv:2008.13445V1 [Math.LO]
Notes on Constructive Set Theory DRAFT
WA Hodges (London)
Arxiv:1805.02095V2 [Math.LO] 19 Oct 2019 H Formula the Onns of Soundness Ento 1.1
A Model-Theoretic Approach to Ordinal Analysis
Introduction to Predicative Ordinal Analysis Summary of a Lecture Given at the Hilbert–Bernays Summer School on Logic and Computation 2018 in Gottingen.¨
Large Sets in Constructive Set Theory
REFLECTION RANKS and ORDINAL ANALYSIS 1. Introduction It Is A
Logic Colloquium 2006