About: Reverse mathematics

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

Branch of mathematical logic

Property	Value
dbo:description	branche des mathématiques (fr) Teilgebiet der Logik (de) Branch of mathematical logic (en) Una rama de la lógica matemática y los fundamentos de la matemática (es) studfako de logiko, kiu determinas tiujn aksiomojn, kiuj necesas por pruvi iun teoremon (eo)
dbo:wikiPageExternalLink	http://www.math.psu.edu/simpson/sosoa/ https://rmzoo.math.uconn.edu/ https://www2.mathematik.tu-darmstadt.de/~kohlenbach/ http://www.math.ohio-state.edu/~friedman/ https://www.math.wisc.edu/~lempp/theses/hunter.pdf%7Ctype=PhD http://www.math.psu.edu/simpson/ http://www.brics.dk/RS/00/49/BRICS-RS-00-49.pdf
dbo:wikiPageWikiLink	dbr:Archimedean_property dbr:Giuseppe_Vitali dbr:Prime_ideal dbr:S2S_(mathematics) dbr:Steve_Simpson_(mathematician) dbr:Cantor_space dbr:Separable_space dbc:Computability_theory dbr:Countable_set dbr:Intermediate_value_theorem dbr:Baire_category_theorem dbr:Real_closed_field dbc:Proof_theory dbr:Real_number dbr:Set_theory dbr:Cambridge_University_Press dbr:Topology dbr:Vector_space dbr:Metric_space dbr:Abstract_algebra dbr:Group_(mathematics) dbr:Ring_(mathematics) dbr:Gödel's_incompleteness_theorems dbr:Proof_theory dbr:Hahn–Banach_theorem dbr:Riemann_integral dbr:Errett_Bishop dbr:Robinson_arithmetic dbr:Kőnig's_lemma dbr:Necessity_and_sufficiency dbr:Combinatorics dbr:Hermann_Weyl dbr:Analytical_hierarchy dbr:Closed-form_expression dbr:Gödel's_completeness_theorem dbr:Baire_space dbr:Computable_function dbr:Constructive_analysis dbr:Open_set dbr:Determinacy dbr:Maximal_ideal dbr:Arithmetical_hierarchy dbr:Post's_theorem dbr:Solomon_Feferman dbr:University_of_Wisconsin–Madison dbr:Impredicativity dbr:Primitive_recursive_arithmetic dbc:Mathematical_logic dbr:Heine–Borel_theorem dbr:Cauchy_sequence dbr:Rational_number dbr:Effective_Polish_space dbr:Axiom dbr:Jordan_curve_theorem dbr:David_Hilbert dbr:Algebraic_closure dbr:Field_(mathematics) dbr:Transcendence_basis dbr:Axiom_scheme dbr:Bolzano–Weierstrass_theorem dbr:Law_of_excluded_middle dbr:Mathematical_logic dbr:Ordered_field dbr:Kleene's_recursion_theorem dbr:Cousin's_theorem dbr:Ulrich_Kohlenbach dbr:Theorem dbr:Complete_metric_space dbr:Princeton_University_Press dbr:Feferman–Schütte_ordinal dbr:Ramsey's_theorem dbr:Cousin dbr:Ordinal_analysis dbr:Commutative_ring dbr:Elementary_function_arithmetic dbr:Second-order_arithmetic dbr:Natural_number dbr:Axiom_of_choice dbr:Zorn's_lemma dbr:Algorithmically_random_sequence dbr:Lusin's_separation_theorem dbr:Perfect_set_property dbr:Gauge_integral dbr:Computable_analysis dbr:Low_(computability) dbr:Low_basis_theorem dbr:Recursion_theory dbr:Silver's_dichotomy dbr:Supremum dbr:Induction,_bounding_and_least_number_principles dbr:Banach–Steinhaus_theorem dbr:Brouwer_fixed_point_theorem dbr:Lindelöf dbr:Epsilon_numbers_(mathematics) dbr:Constructivism_(mathematics) dbr:Analysis_(mathematics) dbr:Besicovitch dbr:Well_ordering dbr:Nested_sequence_of_closed_intervals dbr:Cantor–Bendixson_theorem dbr:Higher-order_arithmetic dbr:Ulm's_theorem dbr:Compactness dbr:Ascoli's_theorem dbr:Sequence_(mathematics) dbr:Psi0(Omega_omega) dbr:ZF_set_theory
dbp:b	0 (xsd:integer) 1 (xsd:integer) 2 (xsd:integer) 3 (xsd:integer)
dbp:p	0 (xsd:integer) 1 (xsd:integer) * (en)
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:Redirect dbt:Math dbt:DELTA dbt:And dbt:Clarify dbt:Su dbt:Citation dbt:More_citations_needed dbt:Sfnp dbt:Citation_needed dbt:Mathematical_logic dbt:Mathbb dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Proof_theory dbc:Mathematical_logic
gold:hypernym	dbr:Program
rdfs:label	Reverse mathematics (en) Reverse Mathematik (de) Mathématiques à rebours (fr) Matematica inversa (it) 逆数学 (ja) 逆数学 (zh)
owl:sameAs	freebase:Reverse mathematics wikidata:Reverse mathematics dbpedia-it:Reverse mathematics dbpedia-de:Reverse mathematics dbpedia-fr:Reverse mathematics dbpedia-tr:Reverse mathematics dbpedia-zh:Reverse mathematics dbpedia-ja:Reverse mathematics dbpedia-global:Reverse mathematics dbr:Reverse mathematics
prov:wasDerivedFrom	wikipedia-en:Reverse_mathematics?oldid=1293553119&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Reverse_mathematics
is dbo:knownFor of	dbr:Steve_Simpson_(mathematician)
is dbo:wikiPageRedirects of	dbr:Bounded_reverse_mathematics dbr:Weak_Konig's_lemma dbr:Weak_König's_lemma dbr:Constructive_reverse_mathematics dbr:Arithmetical_transfinite_recursion dbr:Reverse_Mathematics
is dbo:wikiPageWikiLink of	dbr:Conservative_extension dbr:Brouwer_fixed-point_theorem dbr:Beta-model dbr:S2S_(mathematics) dbr:Steve_Simpson_(mathematician) dbr:Stephen_Cook dbr:Harvey_Friedman dbr:Ekeland's_variational_principle dbr:History_of_logic dbr:Real_number dbr:Proof_theory dbr:Hahn–Banach_theorem dbr:Kőnig's_lemma dbr:Dyadic_rational dbr:Bar_induction dbr:Gödel's_completeness_theorem dbr:Specker_sequence dbr:Equiconsistency dbr:Μ_operator dbr:Zermelo–Fraenkel_set_theory dbr:Determinacy dbr:Computability_theory dbr:List_of_first-order_theories dbr:ACA dbr:ATR dbr:David_Seetapun dbr:Hilbert's_program dbr:Jordan_curve_theorem dbr:Kruskal's_tree_theorem dbr:Carl_Jockusch dbr:WKL dbr:Bounded_reverse_mathematics dbr:Mathematical_logic dbr:Large_countable_ordinal dbr:Liu_Lu dbr:Big_Five dbr:RCA_(disambiguation) dbr:Sylvester–Gallai_theorem dbr:Higman's_lemma dbr:List_of_mathematical_logic_topics dbr:Buchholz's_ordinal dbr:Ramsey's_theorem dbr:Ordinal_analysis dbr:Ordinal_collapsing_function dbr:Elementary_function_arithmetic dbr:Second-order_arithmetic dbr:Axiom_of_dependent_choice dbr:Foundations_of_mathematics dbr:Church's_thesis_(constructive_mathematics) dbr:Ultrafinitism dbr:Constructive_set_theory dbr:Low_(computability) dbr:An_Introduction_to_the_Philosophy_of_Mathematics dbr:Reverse_Mathematics:_Proofs_from_the_Inside_Out dbr:Laver's_theorem dbr:Slicing_the_Truth dbr:Symbolic_regression dbr:List_of_Vanderbilt_University_people dbr:Silver's_dichotomy dbr:Computability_in_Analysis_and_Physics dbr:Dushnik–Miller_theorem dbr:Induction,_bounding_and_least_number_principles dbr:Weak_Konig's_lemma dbr:Weak_König's_lemma dbr:Constructive_reverse_mathematics dbr:Arithmetical_transfinite_recursion dbr:Reverse_Mathematics
is dbp:knownFor of	dbr:Steve_Simpson_(mathematician)
is foaf:primaryTopic of	wikipedia-en:Reverse_mathematics