Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Ordinal_analysis> }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Proof-theoretic_ordinal wikiPageRedirects Ordinal_analysis.
- Proof-theoretic_strength wikiPageRedirects Ordinal_analysis.
- Proof_theoretic_ordinal wikiPageRedirects Ordinal_analysis.
- Bachmann–Howard_ordinal wikiPageWikiLink Ordinal_analysis.
- Classical_Hamiltonian_quaternions wikiPageWikiLink Ordinal_analysis.
- Elementary_function_arithmetic wikiPageWikiLink Ordinal_analysis.
- Epsilon_numbers_(mathematics) wikiPageWikiLink Ordinal_analysis.
- Feferman–Schütte_ordinal wikiPageWikiLink Ordinal_analysis.
- Gentzens_consistency_proof wikiPageWikiLink Ordinal_analysis.
- Gerhard_Gentzen wikiPageWikiLink Ordinal_analysis.
- Gxc3xb6dels_incompleteness_theorems wikiPageWikiLink Ordinal_analysis.
- Hilberts_second_problem wikiPageWikiLink Ordinal_analysis.
- History_of_logic wikiPageWikiLink Ordinal_analysis.
- Kurt_Schütte wikiPageWikiLink Ordinal_analysis.
- Large_countable_ordinal wikiPageWikiLink Ordinal_analysis.
- Mathematical_logic wikiPageWikiLink Ordinal_analysis.
- Ordinal_arithmetic wikiPageWikiLink Ordinal_analysis.
- Ordinal_collapsing_function wikiPageWikiLink Ordinal_analysis.
- Ordinal_notation wikiPageWikiLink Ordinal_analysis.
- Primitive_recursive_arithmetic wikiPageWikiLink Ordinal_analysis.
- Proof-theoretic_ordinal wikiPageWikiLink Ordinal_analysis.
- Proof-theoretic_strength wikiPageWikiLink Ordinal_analysis.
- Proof_theoretic_ordinal wikiPageWikiLink Ordinal_analysis.
- Proof_theory wikiPageWikiLink Ordinal_analysis.
- Second-order_arithmetic wikiPageWikiLink Ordinal_analysis.
- Shrewd_cardinal wikiPageWikiLink Ordinal_analysis.
- Ψ₀(Ωω) wikiPageWikiLink Ordinal_analysis.
- books?vid=ISBN0-444-87943-9 isCitedBy Ordinal_analysis.
- books?vid=ISBN0-444-89840-9 isCitedBy Ordinal_analysis.
- books?vid=ISBN3-540-07911-4 isCitedBy Ordinal_analysis.
- books?vid=ISBN3-540-51842-8 isCitedBy Ordinal_analysis.
- books?vid=ISBN9780198531890 isCitedBy Ordinal_analysis.
- books?vid=ISBN9780521452052 isCitedBy Ordinal_analysis.
- 91849436378728f00ea2dd11788ce6cb3cff85596bfb158da69e4348b76dd7ed isCitedBy Ordinal_analysis.
- bf01651328 isCitedBy Ordinal_analysis.
- bfb0091894 isCitedBy Ordinal_analysis.
- ICM_Vol_2_03.pdf isCitedBy Ordinal_analysis.
- Ordinal_analysis primaryTopic Ordinal_analysis.