Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Ordinal_analysis> }
Showing triples 1 to 33 of
33
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.
- 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.
- BF01651328 isCitedBy Ordinal_analysis.
- BFb0091894 isCitedBy Ordinal_analysis.
- Ordinal_analysis primaryTopic Ordinal_analysis.