About: Second-order arithmetic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Mathematical system

Property	Value
dbo:description	sistema matemàtic (ca) mathematical system (en)
dbo:wikiPageExternalLink	http://www.paultaylor.eu/stable/Proofs+Types.html http://www.math.psu.edu/simpson/sosoa/ https://books.google.com/books%3Fid=TdnQCwAAQBAJ&printsec=frontcover%23v=onepage&q=%22Second-order%20arithmetic%22&f=false https://books.google.com/books%3Fid=hf9ZDwAAQBAJ&printsec=frontcover%23v=snippet&q=second-order%20arithmetic&f=false https://www.math.wisc.edu/logic/theses/hunter.pdf https://www.jstor.org/stable/2272259 https://arxiv.org/abs/ https://arxiv.org/abs/2007.07560
dbo:wikiPageWikiLink	dbr:Individual dbr:System_F dbr:Woodin_cardinal dbr:Samuel_Buss dbr:Steve_Simpson_(mathematician) dbr:Separable_space dbr:Harvey_Friedman dbr:Intermediate_value_theorem dbr:Recursion dbr:Peano_axioms dbr:Variable_(mathematics) dbr:Many-sorted_logic dbr:Real_number dbr:Set_theory dbr:Addition dbr:First-order_logic dbr:Topology dbr:Metric_space dbr:Paul_Bernays dbr:Binary_operation dbr:Paris–Harrington_theorem dbr:Stewart_Shapiro dbr:Infix dbr:Gaisi_Takeuti dbc:Formal_theories_of_arithmetic dbr:Robinson_arithmetic dbr:W._Hugh_Woodin dbr:Kőnig's_lemma dbr:Dialectica_interpretation dbr:Hermann_Weyl dbr:Analytical_hierarchy dbr:Well-formed_formula dbr:Bound_variable dbr:Equiconsistency dbr:Measure_theory dbr:Zermelo–Fraenkel_set_theory dbr:Turing_jump dbr:Term_(logic) dbr:Presburger_arithmetic dbr:Primitive_recursive_arithmetic dbr:Mathematical_analysis dbr:Jean-Yves_Girard dbr:Axiom dbr:David_Hilbert dbr:Multiplication dbr:Binary_relation dbr:Infinite_set dbr:Boldface_(mathematics) dbr:Prefix dbr:Bolzano–Weierstrass_theorem dbr:Mathematical_logic dbr:Reverse_mathematics dbr:Ulrich_Kohlenbach dbr:Uniformization_(set_theory) dbr:Property_of_Baire dbr:Complete_metric_space dbr:Successor_function dbr:Injective_function dbr:Ordinal_analysis dbr:Natural_number dbr:Notices_of_the_American_Mathematical_Society dbr:Second-order_logic dbr:Grundlagen_der_Mathematik dbr:Perfect_set_property dbr:True_arithmetic dbr:Domain_of_discourse dbr:Projective_determinacy dbr:Classical_mathematics dbr:ZFC dbr:John_P._Burgess dbr:Journal_of_Symbolic_Logic dbr:Axiomatic_set_theory dbr:Foundation_of_mathematics dbr:First-order_theory dbr:Dag_Normann dbr:Quantification_(logic) dbr:Peano_arithmetic dbr:Order_relation dbr:Zero dbr:Existential_quantifier dbr:Theory_(logic) dbr:Nonconstructive dbr:Wilfried_Sieg dbr:Riemann_integrable dbr:Skolem_prenex_form dbr:Proof-theoretic_strength
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:Reflist dbt:Sfn dbt:R dbt:Citation_needed dbt:Short_description
dct:subject	dbc:Formal_theories_of_arithmetic
gold:hypernym	dbr:Collection
rdfs:label	Second-order arithmetic (en) Aritmética de segundo orden (es) Arithmétique du second ordre (fr) Aritmética de segunda ordem (pt)
owl:sameAs	freebase:Second-order arithmetic yago-res:Second-order arithmetic wikidata:Second-order arithmetic dbpedia-fr:Second-order arithmetic dbpedia-pt:Second-order arithmetic dbpedia-es:Second-order arithmetic dbpedia-global:Second-order arithmetic dbr:Second-order arithmetic
prov:wasDerivedFrom	wikipedia-en:Second-order_arithmetic?oldid=1283486909&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Second-order_arithmetic
is dbo:knownFor of	dbr:Paul_Bernays
is dbo:wikiPageDisambiguates of	dbr:Second-order
is dbo:wikiPageRedirects of	dbr:Higher-order_arithmetic dbr:Recursive_Comprehension dbr:Arithmetical_Transfinite_Recursion dbr:Arithmetical_comprehension dbr:Arithmetical_comprehension_axiom dbr:Second_order_arithmetic
is dbo:wikiPageWikiLink of	dbr:Hume's_principle dbr:Conservative_extension dbr:Gottlob_Frege dbr:Peano_axioms dbr:First-order_logic dbr:Paris–Harrington_theorem dbr:Gödel's_incompleteness_theorems dbr:Hahn–Banach_theorem dbr:Axiom_schema_of_replacement dbr:Robinson_arithmetic dbr:Kőnig's_lemma dbr:Dyadic_rational dbr:Analytical_hierarchy dbr:Axiom_of_constructibility dbr:Goodstein's_theorem dbr:Definable_real_number dbr:Equiconsistency dbr:Zermelo–Fraenkel_set_theory dbr:Determinacy dbr:Arithmetical_hierarchy dbr:Computability_theory dbr:Reuben_Goodstein dbr:List_of_first-order_theories dbr:Impredicativity dbr:Primitive_recursive_arithmetic dbr:Tarski's_undefinability_theorem dbr:Interpretation_(logic) dbr:Axiom dbr:De_Bruijn–Erdős_theorem_(graph_theory) dbr:Kruskal's_tree_theorem dbr:Outline_of_mathematics dbr:Z2 dbr:Theodore_Slaman dbr:Reverse_mathematics dbr:Large_countable_ordinal dbr:Descriptive_set_theory dbr:Hilary_Putnam dbr:Undecidable_problem dbr:Bounded_quantifier dbr:List_of_mathematical_logic_topics dbr:Takeuti's_conjecture dbr:Buchholz's_ordinal dbr:Axiom_of_infinity dbr:Ramsey's_theorem dbr:Ordinal_analysis dbr:Ordinal_collapsing_function dbr:Well-ordering_principle dbr:Second-order dbr:Second-order_propositional_logic dbr:Second-order_logic dbr:Grundlagen_der_Mathematik dbr:Nonrecursive_ordinal dbr:True_arithmetic dbr:Hilbert's_second_problem dbr:Japaridze's_polymodal_logic dbr:Andrzej_Grzegorczyk dbr:Shrewd_cardinal dbr:Alpha_recursion_theory dbr:Theories_of_iterated_inductive_definitions dbr:Finite_promise_games_and_greedy_clique_sequences dbr:Reverse_Mathematics:_Proofs_from_the_Inside_Out dbr:Laver's_theorem dbr:Slicing_the_Truth dbr:Hyperarithmetical_theory dbr:Dushnik–Miller_theorem dbr:Extensions_of_First_Order_Logic dbr:Induction,_bounding_and_least_number_principles dbr:Higher-order_arithmetic dbr:Recursive_Comprehension dbr:Arithmetical_Transfinite_Recursion dbr:Arithmetical_comprehension dbr:Arithmetical_comprehension_axiom dbr:Second_order_arithmetic
is dbp:knownFor of	dbr:Paul_Bernays
is foaf:primaryTopic of	wikipedia-en:Second-order_arithmetic