Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Primitive_recursive_arithmetic> }
Showing triples 1 to 30 of
30
with 100 triples per page.
- Reuben_Goodstein knownFor Primitive_recursive_arithmetic.
- PRA wikiPageDisambiguates Primitive_recursive_arithmetic.
- Pra wikiPageDisambiguates Primitive_recursive_arithmetic.
- Primitive_Recursive_Arithmetic wikiPageRedirects Primitive_recursive_arithmetic.
- Computability_theory wikiPageWikiLink Primitive_recursive_arithmetic.
- Conservative_extension wikiPageWikiLink Primitive_recursive_arithmetic.
- Consistency wikiPageWikiLink Primitive_recursive_arithmetic.
- Diagonal_lemma wikiPageWikiLink Primitive_recursive_arithmetic.
- Dialectica_interpretation wikiPageWikiLink Primitive_recursive_arithmetic.
- Elementary_function_arithmetic wikiPageWikiLink Primitive_recursive_arithmetic.
- Equiconsistency wikiPageWikiLink Primitive_recursive_arithmetic.
- Finitism wikiPageWikiLink Primitive_recursive_arithmetic.
- Gentzens_consistency_proof wikiPageWikiLink Primitive_recursive_arithmetic.
- Gxc3xb6dels_incompleteness_theorems wikiPageWikiLink Primitive_recursive_arithmetic.
- Hilberts_second_problem wikiPageWikiLink Primitive_recursive_arithmetic.
- List_of_first-order_theories wikiPageWikiLink Primitive_recursive_arithmetic.
- Metatheorem wikiPageWikiLink Primitive_recursive_arithmetic.
- Ordinal_analysis wikiPageWikiLink Primitive_recursive_arithmetic.
- PRA wikiPageWikiLink Primitive_recursive_arithmetic.
- Pra wikiPageWikiLink Primitive_recursive_arithmetic.
- Primitive_Recursive_Arithmetic wikiPageWikiLink Primitive_recursive_arithmetic.
- Primitive_recursive_function wikiPageWikiLink Primitive_recursive_arithmetic.
- Reuben_Goodstein wikiPageWikiLink Primitive_recursive_arithmetic.
- Reverse_mathematics wikiPageWikiLink Primitive_recursive_arithmetic.
- Second-order_arithmetic wikiPageWikiLink Primitive_recursive_arithmetic.
- Skolem_arithmetic_(disambiguation) wikiPageWikiLink Primitive_recursive_arithmetic.
- Takeutis_conjecture wikiPageWikiLink Primitive_recursive_arithmetic.
- Thoralf_Skolem wikiPageWikiLink Primitive_recursive_arithmetic.
- Reuben_Goodstein knownFor Primitive_recursive_arithmetic.
- Primitive_recursive_arithmetic primaryTopic Primitive_recursive_arithmetic.