About: Large countable ordinal

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Ordinals in mathematics and set theory

Property	Value
dbo:description	concept de la théorie des ensembles (fr) ordinals in mathematics and set theory (en)
dbo:wikiPageExternalLink	http://folk.uio.no/herman/incompleteness.pdf https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a http://www.maths.leeds.ac.uk/~rathjen/srealm.ps http://www.cs.fsu.edu/~levitz/ords.ps https://archive.org/details/admissiblesetsst00barw_0
dbo:wikiPageWikiLink	dbr:Constructible_universe dbr:Oracle_machine dbr:Ordinal_arithmetic dbr:Gerhard_Gentzen dbr:PostScript dbr:Countable_set dbr:Peano_axioms dbr:Peter_Aczel dbr:Arithmetic dbc:Proof_theory dbr:Set_theory dbr:First-order_logic dbr:Proof_theory dbr:Gaisi_Takeuti dbr:Elementary_equivalence dbr:If_and_only_if dbr:Skolem_function dbr:Kurt_Schütte dbr:Formal_system dbr:Computable_function dbr:Goodstein's_theorem dbc:Ordinal_numbers dbr:Ordinal_number dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Halting_problem dbr:Arithmetical_hierarchy dbr:Solomon_Feferman dbr:Transfinite_induction dbr:Regular_cardinal dbr:Weakly_compact_cardinal dbr:Mahlo_cardinal dbr:Transitive_model dbr:Kripke–Platek_set_theory dbr:Stephen_Cole_Kleene dbr:Higher-order_function dbr:Reverse_mathematics dbr:Hartley_Rogers_Jr. dbr:Feferman–Schütte_ordinal dbr:Veblen_function dbr:Gerald_Sacks dbr:Admissible_ordinal dbr:Kleene's_O dbr:Kleene–Brouwer_order dbr:Ordinal_analysis dbr:Ordinal_collapsing_function dbr:Ordinal_notation dbr:Second-order_arithmetic dbr:Large_cardinal_property dbr:Turing_machine dbr:Large_cardinal dbr:First_uncountable_ordinal dbr:Small_Veblen_ordinal dbr:Large_Veblen_ordinal dbr:Bachmann–Howard_ordinal dbr:Takeuti–Feferman–Buchholz_ordinal dbr:S._Barry_Cooper dbr:John_Truss dbr:Church–Kleene_ordinal dbr:Buchholz_hydra dbr:Supremum dbr:Indescribable_cardinal dbr:Kirby–Paris_theorem dbr:Epsilon_numbers_(mathematics) dbr:Kripke-Platek_set_theory dbr:Recursive_ordinal dbr:Craig_Smorynski dbr:Herman_Ruge_Jervell dbr:Hilbert_Levitz dbr:Larry_W._Miller dbr:Michael_Rathjen dbr:Stable_ordinal dbr:Wolfram_Pohlers dbr:Cantor_normal_form dbr:Gödel's_second_incompleteness_theorem dbr:Large_cardinals dbr:Impredicative dbr:Ψ0(Ωω) dbr:Proof-theoretic_strength dbr:The_Journal_of_Symbolic_Logic dbr:Veblen_hierarchy
dbp:b	1 (xsd:integer)
dbp:p	CK (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:See_also dbt:Su dbt:Countable_ordinals dbt:Citation_needed dbt:JSTOR dbt:Clarification_needed dbt:Cn dbt:Isbn dbt:Rp dbt:Short_description
dct:subject	dbc:Proof_theory dbc:Ordinal_numbers
gold:hypernym	dbr:Ways
rdfs:label	Large countable ordinal (en) Grand ordinal dénombrable (fr) Grandes ordinais contáveis (pt)
rdfs:seeAlso	dbr:Minimal_model_(set_theory)
owl:sameAs	yago-res:Large countable ordinal freebase:Large countable ordinal wikidata:Large countable ordinal dbpedia-fr:Large countable ordinal dbpedia-pt:Large countable ordinal dbpedia-global:Large countable ordinal
prov:wasDerivedFrom	wikipedia-en:Large_countable_ordinal?oldid=1296428416&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Large_countable_ordinal
is dbo:wikiPageRedirects of	dbr:Large_ordinal dbr:Large_countable_ordinals dbr:Large_ordinals dbr:Mahlo_ordinal
is dbo:wikiPageWikiLink of	dbr:Ordinal_arithmetic dbr:S2S_(mathematics) dbr:Oswald_Veblen dbr:Epsilon_number dbr:Fast-growing_hierarchy dbr:Ackermann_ordinal dbr:Large_ordinal dbr:Hilary_Putnam dbr:Feferman–Schütte_ordinal dbr:Loop_variant dbr:Buchholz's_ordinal dbr:Borel_hierarchy dbr:Hardy_hierarchy dbr:Kleene's_O dbr:Ordinal_collapsing_function dbr:First_uncountable_ordinal dbr:Nonrecursive_ordinal dbr:Slow-growing_hierarchy dbr:Small_Veblen_ordinal dbr:Large_Veblen_ordinal dbr:Computable_ordinal dbr:Bachmann–Howard_ordinal dbr:Gentzen's_consistency_proof dbr:Takeuti–Feferman–Buchholz_ordinal dbr:Veblen_ordinal dbr:Hyperarithmetical_theory dbr:Rathjen's_psi_function dbr:Large_countable_ordinals dbr:Large_ordinals dbr:Mahlo_ordinal
is foaf:primaryTopic of	wikipedia-en:Large_countable_ordinal