About: Constructive analysis

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

Mathematical analysis done according to some principles of constructive mathematics

Property	Value
dbo:description	análisis matemático (es) mathematical analysis done according to some principles of constructive mathematics (en)
dbo:wikiPageWikiLink	dbr:Classical_logic dbr:Separable_space dbr:Intermediate_value_theorem dbr:Cantor's_diagonal_argument dbr:Markov's_principle dbr:Approximation dbr:Negative_number dbr:Real_line dbr:Real_number dbr:Absolute_value dbr:Interval_(mathematics) dbr:Errett_Bishop dbr:Limited_principle_of_omniscience dbc:Intuitionism dbr:Analytic_function dbr:Mathematics dbc:Mathematical_analysis dbr:Mathematical_analysis dbc:Constructivism_(mathematics) dbr:Intuitionistic_logic dbr:Subset dbr:Rational_number dbr:Akihiro_Kanamori dbr:Law_of_excluded_middle dbr:Subcountability dbr:Continuous_function dbr:Closed_interval dbr:Existential_quantification dbr:Compact_space dbr:Natural_number dbr:Axiom_of_dependent_choice dbr:Logical_disjunction dbr:Indecomposability_(constructive_mathematics) dbr:Classical_mathematics dbr:Computable_analysis dbr:Constructive_nonstandard_analysis dbr:Constructive_set_theory dbr:0_(number) dbr:Constructive_mathematics dbr:Positive_number dbr:Upper_bound dbr:Least-upper-bound_principle dbr:Least_upper_bound dbr:Cantors_theorem dbr:Cluster_point dbr:Compact_set dbr:Logically_equivalent dbr:Infinite_sequence dbr:Sequentially_compact
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Non-classical_logic dbt:Short_description
dct:subject	dbc:Intuitionism dbc:Mathematical_analysis dbc:Constructivism_(mathematics)
gold:hypernym	dbr:Analysis
rdf:type	owl:Thing owl:Thing
rdfs:label	Constructive analysis (en) Analyse constructive (fr) Análise construtiva (pt)
owl:sameAs	freebase:Constructive analysis wikidata:Constructive analysis dbpedia-fr:Constructive analysis dbpedia-pt:Constructive analysis dbpedia-global:Constructive analysis http://d-nb.info/gnd/4473957-6 dbr:Constructive analysis
prov:wasDerivedFrom	wikipedia-en:Constructive_analysis?oldid=1292152312&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Constructive_analysis
is dbo:knownFor of	dbr:Errett_Bishop
is dbo:wikiPageRedirects of	dbr:Constructivist_analysis dbr:Intuitionistic_analysis
is dbo:wikiPageWikiLink of	dbr:Archimedean_property dbr:Modulus_of_continuity dbr:Calculus dbr:Markov's_principle dbr:History_of_logic dbr:1967_in_science dbr:Errett_Bishop dbr:Paul_Lorenzen dbr:Heyting_arithmetic dbr:Mathematical_analysis dbr:Effective_Polish_space dbr:Effective_descriptive_set_theory dbr:Sergei_P._Kurdyumov dbr:Reverse_mathematics dbr:Glossary_of_areas_of_mathematics dbr:Sylvester–Gallai_theorem dbr:Philosophy_of_mathematics dbr:Constructivism_(philosophy_of_mathematics) dbr:Dedekind_cut dbr:Computable_analysis dbr:Constructive_set_theory dbr:Leave-one-out_error dbr:Actual_infinity dbr:Intuitionism dbr:Computability_in_Analysis_and_Physics dbr:Constructivist_analysis dbr:Intuitionistic_analysis
is dbp:knownFor of	dbr:Errett_Bishop
is foaf:primaryTopic of	wikipedia-en:Constructive_analysis