Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_theories_of_arithmetic> }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Büchi_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Decidability_of_first-order_theories_of_the_real_numbers wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Existential_theory_of_the_reals wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- List_of_mathematics_categories wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Non-standard_model_of_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Peano_axioms wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Presburger_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Primitive_recursive_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Robinson_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Second-order_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Set-theoretic_definition_of_natural_numbers wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Skolem_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Tarskis_axiomatization_of_the_reals wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- True_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Typographical_Number_Theory wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Undecidable_problem wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Büchi_arithmetic subject Category:Formal_theories_of_arithmetic.
- Decidability_of_first-order_theories_of_the_real_numbers subject Category:Formal_theories_of_arithmetic.
- Existential_theory_of_the_reals subject Category:Formal_theories_of_arithmetic.
- Non-standard_model_of_arithmetic subject Category:Formal_theories_of_arithmetic.
- Peano_axioms subject Category:Formal_theories_of_arithmetic.
- Presburger_arithmetic subject Category:Formal_theories_of_arithmetic.
- Primitive_recursive_arithmetic subject Category:Formal_theories_of_arithmetic.
- Robinson_arithmetic subject Category:Formal_theories_of_arithmetic.
- Second-order_arithmetic subject Category:Formal_theories_of_arithmetic.
- Set-theoretic_definition_of_natural_numbers subject Category:Formal_theories_of_arithmetic.
- Skolem_arithmetic subject Category:Formal_theories_of_arithmetic.
- Tarskis_axiomatization_of_the_reals subject Category:Formal_theories_of_arithmetic.
- True_arithmetic subject Category:Formal_theories_of_arithmetic.
- Typographical_Number_Theory subject Category:Formal_theories_of_arithmetic.
- Undecidable_problem subject Category:Formal_theories_of_arithmetic.
- Category:Mathematical_axioms related Category:Formal_theories_of_arithmetic.