Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Robinson_arithmetic> ?p ?o }
- Robinson_arithmetic abstract "In mathematics, Robinson arithmetic, or Q, is a finitely axiomatized fragment of Peano arithmetic (PA), first set out in R. M. Robinson (1950). Q is essentially PA without the axiom schema of induction. Since Q is weaker than PA but it has the same language, it is incomplete. Q is important and interesting because it is a finitely axiomatized fragment of PA that is recursively incompletable and essentially undecidable.".
- Robinson_arithmetic wikiPageID "2544440".
- Robinson_arithmetic wikiPageLength "9487".
- Robinson_arithmetic wikiPageOutDegree "81".
- Robinson_arithmetic wikiPageRevisionID "680005347".
- Robinson_arithmetic wikiPageWikiLink 0_(number).
- Robinson_arithmetic wikiPageWikiLink A._Mostowski.
- Robinson_arithmetic wikiPageWikiLink Addition.
- Robinson_arithmetic wikiPageWikiLink Alfred_Tarski.
- Robinson_arithmetic wikiPageWikiLink Andrzej_Mostowski.
- Robinson_arithmetic wikiPageWikiLink Axiom.
- Robinson_arithmetic wikiPageWikiLink Axiom_of_adjunction.
- Robinson_arithmetic wikiPageWikiLink Axiom_schema.
- Robinson_arithmetic wikiPageWikiLink Axiomatic_set_theory.
- Robinson_arithmetic wikiPageWikiLink Binary_operation.
- Robinson_arithmetic wikiPageWikiLink Cardinality.
- Robinson_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Robinson_arithmetic wikiPageWikiLink Complete_theory.
- Robinson_arithmetic wikiPageWikiLink Computable_function.
- Robinson_arithmetic wikiPageWikiLink Concatenation.
- Robinson_arithmetic wikiPageWikiLink Converse_(logic).
- Robinson_arithmetic wikiPageWikiLink Conversion_(logic).
- Robinson_arithmetic wikiPageWikiLink Decidability_(logic).
- Robinson_arithmetic wikiPageWikiLink Domain_(mathematics).
- Robinson_arithmetic wikiPageWikiLink Domain_of_a_function.
- Robinson_arithmetic wikiPageWikiLink Empty_set.
- Robinson_arithmetic wikiPageWikiLink Equality_(mathematics).
- Robinson_arithmetic wikiPageWikiLink Existential_quantification.
- Robinson_arithmetic wikiPageWikiLink Existential_quantifier.
- Robinson_arithmetic wikiPageWikiLink Extensionality.
- Robinson_arithmetic wikiPageWikiLink First-order_logic.
- Robinson_arithmetic wikiPageWikiLink First_order_arithmetic.
- Robinson_arithmetic wikiPageWikiLink General_set_theory.
- Robinson_arithmetic wikiPageWikiLink Gentzens_consistency_proof.
- Robinson_arithmetic wikiPageWikiLink George_Boolos.
- Robinson_arithmetic wikiPageWikiLink Gxc3xb6dels_Incompleteness_Theorem.
- Robinson_arithmetic wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Robinson_arithmetic wikiPageWikiLink Gödel_numbering.
- Robinson_arithmetic wikiPageWikiLink Infinite_set.
- Robinson_arithmetic wikiPageWikiLink Injective_function.
- Robinson_arithmetic wikiPageWikiLink Intended_interpretation.
- Robinson_arithmetic wikiPageWikiLink Interpretation_(logic).
- Robinson_arithmetic wikiPageWikiLink John_Lucas_(philosopher).
- Robinson_arithmetic wikiPageWikiLink John_P._Burgess.
- Robinson_arithmetic wikiPageWikiLink List_of_first-order_theories.
- Robinson_arithmetic wikiPageWikiLink Mathematical_induction.
- Robinson_arithmetic wikiPageWikiLink Mathematics.
- Robinson_arithmetic wikiPageWikiLink Multiplication.
- Robinson_arithmetic wikiPageWikiLink Natural_number.
- Robinson_arithmetic wikiPageWikiLink Natural_numbers.
- Robinson_arithmetic wikiPageWikiLink Non-standard_model_of_arithmetic.
- Robinson_arithmetic wikiPageWikiLink Operation_(mathematics).
- Robinson_arithmetic wikiPageWikiLink Peano_arithmetic.
- Robinson_arithmetic wikiPageWikiLink Peano_axioms.
- Robinson_arithmetic wikiPageWikiLink Polish_notation.
- Robinson_arithmetic wikiPageWikiLink Prefix_notation.
- Robinson_arithmetic wikiPageWikiLink R._M._Robinson.
- Robinson_arithmetic wikiPageWikiLink Raphael_M._Robinson.
- Robinson_arithmetic wikiPageWikiLink Raymond_Smullyan.
- Robinson_arithmetic wikiPageWikiLink Recursive_definition.
- Robinson_arithmetic wikiPageWikiLink Richard_Jeffrey.
- Robinson_arithmetic wikiPageWikiLink Second-order_arithmetic.
- Robinson_arithmetic wikiPageWikiLink Set-theoretic_definition_of_natural_numbers.
- Robinson_arithmetic wikiPageWikiLink Set_(mathematics).
- Robinson_arithmetic wikiPageWikiLink Set_theory.
- Robinson_arithmetic wikiPageWikiLink Springer_Science+Business_Media.
- Robinson_arithmetic wikiPageWikiLink Successor_function.
- Robinson_arithmetic wikiPageWikiLink Tennenbaums_theorem.
- Robinson_arithmetic wikiPageWikiLink Total_order.
- Robinson_arithmetic wikiPageWikiLink Unary_operation.
- Robinson_arithmetic wikiPageWikiLink Universal_quantification.
- Robinson_arithmetic wikiPageWikiLink Universal_quantifier.
- Robinson_arithmetic wikiPageWikiLink Variable_(mathematics).
- Robinson_arithmetic wikiPageWikiLink Wolfgang_Rautenberg.
- Robinson_arithmetic wikiPageWikiLink Zermelo_set_theory.
- Robinson_arithmetic wikiPageWikiLink Zero.
- Robinson_arithmetic wikiPageWikiLinkText "Q".
- Robinson_arithmetic wikiPageWikiLinkText "Raphael Robinson's Arithmetic".
- Robinson_arithmetic wikiPageWikiLinkText "Robinson arithmetic".
- Robinson_arithmetic wikiPageWikiLinkText "Robinson arithmetic#Axioms".
- Robinson_arithmetic date "October 2014".
- Robinson_arithmetic hasPhotoCollection Robinson_arithmetic.
- Robinson_arithmetic reason "That notion needs to be explained. An appropriate wikilink would suffice.".
- Robinson_arithmetic reason "The wishes of its author are not a reason for an axiom system to imply a property. Maybe it was meant that arithmetic operations have their usual meanings in the standard model, but that was just said in the previous sentence.".
- Robinson_arithmetic wikiPageUsesTemplate Template:=.
- Robinson_arithmetic wikiPageUsesTemplate Template:Citation.
- Robinson_arithmetic wikiPageUsesTemplate Template:Clarify.
- Robinson_arithmetic subject Category:Formal_theories_of_arithmetic.
- Robinson_arithmetic type Theory.
- Robinson_arithmetic comment "In mathematics, Robinson arithmetic, or Q, is a finitely axiomatized fragment of Peano arithmetic (PA), first set out in R. M. Robinson (1950). Q is essentially PA without the axiom schema of induction. Since Q is weaker than PA but it has the same language, it is incomplete. Q is important and interesting because it is a finitely axiomatized fragment of PA that is recursively incompletable and essentially undecidable.".
- Robinson_arithmetic label "Robinson arithmetic".
- Robinson_arithmetic sameAs Robinsonova_aritmetika.
- Robinson_arithmetic sameAs Robinson-Arithmetik.
- Robinson_arithmetic sameAs Arithmétique_de_Robinson.
- Robinson_arithmetic sameAs Aritmetica_di_Robinson.
- Robinson_arithmetic sameAs ロビンソン算術.
- Robinson_arithmetic sameAs Aritmética_de_Robinson.
- Robinson_arithmetic sameAs m.07m3f2.
- Robinson_arithmetic sameAs Q928884.
- Robinson_arithmetic sameAs Q928884.