About: Takeuti-Feferman-Buchholz ordinal   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

Using Buchholz's psi notation, the ordinal \(\psi_0(\varepsilon_{\Omega_\omega + 1})\), usually called the "Takeuti-Feferman-Buchholz ordinal", is a large countable ordinal that is the proof-theoretic ordinal of \(\Pi_1^1- ext{CA}+ ext{BI}\), a subsystem of second-order arithmetic. It is the limit of Ferferman's theta notation, as well as the limit of Buchholz's psi notation. It is also the ordinal measuring the strength of Buchholz hydras with \(\omega\) labels, as well as the upper bound of the SCG function. It was named by David Madore under the nickname "Gro-Tsen" on wikipedia.

AttributesValues
rdfs:label
  • Takeuti-Feferman-Buchholz ordinal
rdfs:comment
  • Using Buchholz's psi notation, the ordinal \(\psi_0(\varepsilon_{\Omega_\omega + 1})\), usually called the "Takeuti-Feferman-Buchholz ordinal", is a large countable ordinal that is the proof-theoretic ordinal of \(\Pi_1^1- ext{CA}+ ext{BI}\), a subsystem of second-order arithmetic. It is the limit of Ferferman's theta notation, as well as the limit of Buchholz's psi notation. It is also the ordinal measuring the strength of Buchholz hydras with \(\omega\) labels, as well as the upper bound of the SCG function. It was named by David Madore under the nickname "Gro-Tsen" on wikipedia.
dcterms:subject
dbkwik:googology/p...iPageUsesTemplate
abstract
  • Using Buchholz's psi notation, the ordinal \(\psi_0(\varepsilon_{\Omega_\omega + 1})\), usually called the "Takeuti-Feferman-Buchholz ordinal", is a large countable ordinal that is the proof-theoretic ordinal of \(\Pi_1^1- ext{CA}+ ext{BI}\), a subsystem of second-order arithmetic. It is the limit of Ferferman's theta notation, as well as the limit of Buchholz's psi notation. It is also the ordinal measuring the strength of Buchholz hydras with \(\omega\) labels, as well as the upper bound of the SCG function. It was named by David Madore under the nickname "Gro-Tsen" on wikipedia.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software