About: Buchholz's ID hierarchy

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Buchholz's ID hierarchy Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In set theory and logic, Buchholz's ID hierarchy is a hierarchy of subsystems of first-order arithmetic. The systems/theories are referred to as "the formal theories of ν-times iterated inductive definitions". IDν extends PA by ν iterated least fixed points of monotone operators.

Attributes	Values
rdfs:label	Buchholz's ID hierarchy (en)
rdfs:comment	In set theory and logic, Buchholz's ID hierarchy is a hierarchy of subsystems of first-order arithmetic. The systems/theories are referred to as "the formal theories of ν-times iterated inductive definitions". IDν extends PA by ν iterated least fixed points of monotone operators. (en)
dbp:wikiPageUsesTemplate	dbt:More_footnotes dbt:Multiple_issues dbt:Technical dbt:Countable_ordinals
Subject	Proof theory Set theory Mathematical logic Ordinal numbers
Link from a Wikipage to an external page	https://www.sciencedirect.com/science/article/abs/pii/S0049237X08707699 https://www.sciencedirect.com/science/article/abs/pii/S0049237X08708474 http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.573.420&rep=rep1&type=pdf https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a https://www.springer.com/gp/book/9783540111702
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Buchholz's_ID_hierarchy?oldid=1064077505&ns=0
Wikipage page ID	68497153 (xsd:integer)
page length (characters) of wiki page	12141 (xsd:nonNegativeInteger)
Wikipage revision ID	1064077505 (xsd:integer)
Link from a Wikipage to another Wikipage	Bachmann–Howard ordinal Proof theory Set theory Mathematical logic Ordinal numbers Second-order arithmetic Set theory Peano axioms Mathematical logic Takeuti–Feferman–Buchholz ordinal dbr:Nlab:iterated+inductive+definitions dbr:Nlab:ordinal+analysis
has abstract	In set theory and logic, Buchholz's ID hierarchy is a hierarchy of subsystems of first-order arithmetic. The systems/theories are referred to as "the formal theories of ν-times iterated inductive definitions". IDν extends PA by ν iterated least fixed points of monotone operators. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Buchholz's_ID_hierarchy
is Link from a Wikipage to another Wikipage of	Buchholz Buchholz's ordinal
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Buchholz's_ID_hierarchy

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software