DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Ordinal notation
Ordinal notation
The Interplay Between Computability and Incomputability Draft 619.Tex
The Realm of Ordinal Analysis
Effective Descriptive Set Theory
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations∗
Cardinals and Intro to Ordinals Notations
To Infinity and Beyond
Proof Theory of Martin-Löf Type Theory – an Overview
Ordinal Notation
Well-Partial-Orders and Ordinal Notation Systems
Well-Partial-Orders and Ordinal Notation Systems
Worms and Spiders: Reflection Calculi and Ordinal Notation Systems
The Art of Ordinal Analysis
A Computational Approach to the Ordinal Numbers Documents Ordcalc 0.3.2
Ordinal Analysis Without Proofs
The Proof Theory of Classical and Constructive Inductive Definitions
From the Outside Looking In: Can Mathematical Certainty Be Secured Without Being Mathematically Certain That It Has Been?
An Overview of the Ordinal Calculator Contents
Top View
Predicativity and Feferman
Pure Σ2 -Elementarity Beyond the Core
Arxiv:Math/0509244V3 [Math.LO] 11 May 2009 Vr Icsino Rdctvs O H Atfryyears
Kleene's Amazing Second Recursion Theorem
Simplification Orders in Term Rewriting. Derivation Lengths
A Tutorial on Countable Ordinals
An Introduction to WQO and BQO Theory
Ordinal Notations Based on a Weakly Mahlo Cardinal
Nominalistic-MHA
Computability, Reverse Mathematics and Combinatorics: Open Problems Banff International Research Station Alberta, Canada Sunday, December 7–Friday, December 12, 2008
Ordinal Notation Systems Corresponding to Friedman's Linearized Well-Partial-Orders with Gap-Condition
Hydra Battles in Coq