Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Large_countable_ordinal> ?p ?o }
- Large_countable_ordinal abstract "In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non-circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of relevance to proof theory still have computable ordinal notations. However, it is not possible to decide effectively whether a given putative ordinal notation is a notation or not (for reasons somewhat analogous to the unsolvability of the halting problem); various more-concrete ways of defining ordinals that definitely have notations are available.Since there are only countably many notations, all ordinals with notations are exhausted well below the first uncountable ordinal ω1; their supremum is called Church–Kleene ω1 or ω1CK (not to be confused with the first uncountable ordinal, ω1), described below. Ordinal numbers below ω1CK are the recursive ordinals (see below). Countable ordinals larger than this may still be defined, but do not have notations.Due to the focus on countable ordinals, ordinal arithmetic is used throughout, except where otherwise noted. The ordinals described here are not as large as the ones described in large cardinals, but they are large among those that have constructive notations (descriptions). Larger and larger ordinals can be defined, but they become more and more difficult to describe.".
- Large_countable_ordinal wikiPageExternalLink incompleteness.pdf.
- Large_countable_ordinal wikiPageExternalLink ords.ps.
- Large_countable_ordinal wikiPageExternalLink srealm.ps.
- Large_countable_ordinal wikiPageID "4376814".
- Large_countable_ordinal wikiPageLength "20686".
- Large_countable_ordinal wikiPageOutDegree "82".
- Large_countable_ordinal wikiPageRevisionID "677151249".
- Large_countable_ordinal wikiPageWikiLink Arithmetic.
- Large_countable_ordinal wikiPageWikiLink Bachmann-Howard_ordinal.
- Large_countable_ordinal wikiPageWikiLink Bachmann–Howard_ordinal.
- Large_countable_ordinal wikiPageWikiLink Cantor_normal_form.
- Large_countable_ordinal wikiPageWikiLink Category:Ordinal_numbers.
- Large_countable_ordinal wikiPageWikiLink Category:Proof_theory.
- Large_countable_ordinal wikiPageWikiLink Church-Kleene_ordinal.
- Large_countable_ordinal wikiPageWikiLink Church–Kleene_ordinal.
- Large_countable_ordinal wikiPageWikiLink Computable_function.
- Large_countable_ordinal wikiPageWikiLink Constructible_universe.
- Large_countable_ordinal wikiPageWikiLink Countable_set.
- Large_countable_ordinal wikiPageWikiLink Craig_Smorynski.
- Large_countable_ordinal wikiPageWikiLink Elementary_equivalence.
- Large_countable_ordinal wikiPageWikiLink Epsilon_numbers_(mathematics).
- Large_countable_ordinal wikiPageWikiLink Feferman–Schütte_ordinal.
- Large_countable_ordinal wikiPageWikiLink First-order_logic.
- Large_countable_ordinal wikiPageWikiLink First_uncountable_ordinal.
- Large_countable_ordinal wikiPageWikiLink Formal_system.
- Large_countable_ordinal wikiPageWikiLink Gaisi_Takeuti.
- Large_countable_ordinal wikiPageWikiLink Gerald_Sacks.
- Large_countable_ordinal wikiPageWikiLink Gerhard_Gentzen.
- Large_countable_ordinal wikiPageWikiLink Goodsteins_theorem.
- Large_countable_ordinal wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Large_countable_ordinal wikiPageWikiLink Gxc3xb6dels_second_incompleteness_theorem.
- Large_countable_ordinal wikiPageWikiLink Halting_problem.
- Large_countable_ordinal wikiPageWikiLink Hartley_Rogers,_Jr..
- Large_countable_ordinal wikiPageWikiLink Herman_Ruge_Jervell.
- Large_countable_ordinal wikiPageWikiLink Hilbert_Levitz.
- Large_countable_ordinal wikiPageWikiLink Impredicative.
- Large_countable_ordinal wikiPageWikiLink Impredicativity.
- Large_countable_ordinal wikiPageWikiLink Infimum_and_supremum.
- Large_countable_ordinal wikiPageWikiLink Jon_Barwise.
- Large_countable_ordinal wikiPageWikiLink Kirby–Paris_theorem.
- Large_countable_ordinal wikiPageWikiLink Kleenes_O.
- Large_countable_ordinal wikiPageWikiLink Kripke-Platek_set_theory.
- Large_countable_ordinal wikiPageWikiLink Kripke–Platek_set_theory.
- Large_countable_ordinal wikiPageWikiLink Kurt_Schütte.
- Large_countable_ordinal wikiPageWikiLink Large_Veblen_ordinal.
- Large_countable_ordinal wikiPageWikiLink Large_cardinal.
- Large_countable_ordinal wikiPageWikiLink Large_cardinal_property.
- Large_countable_ordinal wikiPageWikiLink Large_cardinals.
- Large_countable_ordinal wikiPageWikiLink Larry_W._Miller.
- Large_countable_ordinal wikiPageWikiLink Mahlo_cardinal.
- Large_countable_ordinal wikiPageWikiLink Michael_Rathjen.
- Large_countable_ordinal wikiPageWikiLink Nonprojectible_ordinal.
- Large_countable_ordinal wikiPageWikiLink Oracle_machine.
- Large_countable_ordinal wikiPageWikiLink Ordinal_analysis.
- Large_countable_ordinal wikiPageWikiLink Ordinal_arithmetic.
- Large_countable_ordinal wikiPageWikiLink Ordinal_collapsing_function.
- Large_countable_ordinal wikiPageWikiLink Ordinal_notation.
- Large_countable_ordinal wikiPageWikiLink Ordinal_number.
- Large_countable_ordinal wikiPageWikiLink Peano_axioms.
- Large_countable_ordinal wikiPageWikiLink PostScript.
- Large_countable_ordinal wikiPageWikiLink Proof-theoretic_strength.
- Large_countable_ordinal wikiPageWikiLink Proof_theory.
- Large_countable_ordinal wikiPageWikiLink Recursive_ordinal.
- Large_countable_ordinal wikiPageWikiLink Regular_cardinal.
- Large_countable_ordinal wikiPageWikiLink Reverse_mathematics.
- Large_countable_ordinal wikiPageWikiLink Second-order_arithmetic.
- Large_countable_ordinal wikiPageWikiLink Set_theory.
- Large_countable_ordinal wikiPageWikiLink Small_Veblen_ordinal.
- Large_countable_ordinal wikiPageWikiLink Springer-Verlag.
- Large_countable_ordinal wikiPageWikiLink Springer_Science+Business_Media.
- Large_countable_ordinal wikiPageWikiLink Stable_ordinal.
- Large_countable_ordinal wikiPageWikiLink Stephen_Cole_Kleene.
- Large_countable_ordinal wikiPageWikiLink Supremum.
- Large_countable_ordinal wikiPageWikiLink Transitive_model.
- Large_countable_ordinal wikiPageWikiLink Turing_machine.
- Large_countable_ordinal wikiPageWikiLink Veblen_function.
- Large_countable_ordinal wikiPageWikiLink Veblen_hierarchy.
- Large_countable_ordinal wikiPageWikiLink Wolfram_Pohlers.
- Large_countable_ordinal wikiPageWikiLink ZFC.
- Large_countable_ordinal wikiPageWikiLink Zermelo-Fraenkel_set_theory.
- Large_countable_ordinal wikiPageWikiLink Zermelo_set_theory.
- Large_countable_ordinal wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Large_countable_ordinal wikiPageWikiLinkText "Church-Kleene ordinal".
- Large_countable_ordinal wikiPageWikiLinkText "Large countable ordinal".
- Large_countable_ordinal wikiPageWikiLinkText "Large countable ordinal#Beyond admissible ordinals".
- Large_countable_ordinal wikiPageWikiLinkText "Veblen hierarchy".
- Large_countable_ordinal wikiPageWikiLinkText "Veblen ordinals".
- Large_countable_ordinal wikiPageWikiLinkText "large countable ordinal".
- Large_countable_ordinal wikiPageWikiLinkText "ordinal".
- Large_countable_ordinal wikiPageWikiLinkText "recursively large ordinals".
- Large_countable_ordinal hasPhotoCollection Large_countable_ordinal.
- Large_countable_ordinal wikiPageUsesTemplate Template:Cite_book.
- Large_countable_ordinal wikiPageUsesTemplate Template:Countable_ordinals.
- Large_countable_ordinal wikiPageUsesTemplate Template:JSTOR.
- Large_countable_ordinal wikiPageUsesTemplate Template:Main.
- Large_countable_ordinal wikiPageUsesTemplate Template:Such_as%3F.
- Large_countable_ordinal subject Category:Ordinal_numbers.
- Large_countable_ordinal subject Category:Proof_theory.
- Large_countable_ordinal hypernym Ways.