About: Constructive set theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Axiomatic set theories based on the principles of mathematical constructivism

Property	Value
dbo:description	axiomatic set theories based on the principles of mathematical constructivism (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20070204153712/http:/www.ml.kva.se/preprints/meta/AczelMon_Sep_24_09_16_56.rdf.html http://plato.stanford.edu/entries/set-theory-constructive/ http://www.illc.uva.nl/KNAW/Heyting/uploaded_files/inlineitem/vdberg-slides.pdf https://archive.org/details/constructivismin0002troe/page/619
dbo:wikiPageWikiLink	dbr:Archimedean_property dbr:Axiom_schema dbr:Admissible_rule dbr:Constructible_universe dbr:Primitive_recursive_function dbr:Currying dbr:Ordinal_arithmetic dbr:Subobject dbr:Law_of_trichotomy dbr:Non-well-founded_set_theory dbr:Inductive_type dbr:Interpretation_(model_theory) dbr:Total_functional_programming dbr:Non-classical_logic dbr:Cantor_space dbr:Gottlob_Frege dbr:Category_theory dbr:Class_(set_theory) dbr:Axiom_of_empty_set dbr:Range_of_a_function dbr:Monomorphism dbr:Subtyping dbr:Intermediate_value_theorem dbr:Recursion dbr:Dana_Scott dbr:Peano_axioms dbr:Presheaf_(category_theory) dbr:Quantifier_(logic) dbr:Cantor's_diagonal_argument dbr:Axiom_of_extensionality dbr:Signature_(logic) dbr:Existential_instantiation dbr:Intuitionistic_type_theory dbr:Peter_Aczel dbr:Many-sorted_logic dbr:Markov's_principle dbr:Minimal_logic dbr:Function_(mathematics) dbr:Multivalued_function dbr:First-order_logic dbr:Decidability_(logic) dbr:Disjunctive_syllogism dbr:Gödel's_incompleteness_theorems dbr:Proof_theory dbr:Law_of_noncontradiction dbr:Axiom_schema_of_replacement dbr:Errett_Bishop dbr:Robinson_arithmetic dbr:Kőnig's_lemma dbr:Topos dbr:Type_theory dbr:Computable_set dbr:Heyting_algebra dbr:Skolem_normal_form dbr:Independence_(mathematical_logic) dbr:Bar_induction dbr:Double-negation_translation dbr:Limited_principle_of_omniscience dbc:Intuitionism dbr:John_Myhill dbr:Intentionality dbr:Computable_function dbr:Constructive_analysis dbr:Uniqueness_quantification dbr:Epsilon-induction dbr:Μ_operator dbr:Domain_of_a_function dbr:Ordered_pair dbr:Ordinal_number dbr:Set-theoretic_definition_of_natural_numbers dbr:Von_Neumann_ordinal dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Combinatory_logic dbr:Transitive_closure dbr:Axiom_of_power_set dbr:Partial_function dbr:Extension_by_definitions dbr:General_topology dbr:Halting_problem dbr:Arithmetical_hierarchy dbr:Transitive_set dbr:Arity dbr:Completeness_of_the_real_numbers dbr:Computability_theory dbr:Abuse_of_notation dbr:Transfinite_induction dbr:Equinumerosity dbr:List_of_first-order_theories dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Impredicativity dbr:Categorical_logic dbr:Heyting_arithmetic dbr:Primitive_recursive_arithmetic dbr:Principle_of_distributivity dbr:Arithmetical_set dbr:Cartesian_product dbc:Constructivism_(mathematics) dbr:Constructive_logic dbr:Intuitionistic_logic dbr:List_of_statements_independent_of_ZFC dbr:Mathematical_induction dbr:Extensionality dbr:Axiom_of_countable_choice dbr:Dependent_type dbr:Aczel's_anti-foundation_axiom dbr:Certificate_(complexity) dbr:Lévy_hierarchy dbr:Coequalizer dbr:Module_(mathematics) dbr:Von_Neumann_universe dbr:Characteristic_function dbr:Binary_relation dbr:Logical_connective dbr:Truth_value dbr:Diaconescu's_theorem dbr:Kripke–Platek_set_theory dbr:Ordinal_numbers dbr:Axiom_of_Extensionality dbr:Axiom_of_Infinity dbr:Axiom_of_collection dbr:Axiom_of_powerset dbr:Axiom_of_replacement dbr:Axiom_schema_of_separation dbr:Equivalence_classes dbr:Ackermann_function dbr:Law_of_excluded_middle dbr:Model_theory dbr:Ordered_field dbr:Universal_set dbr:Reverse_mathematics dbr:L._E._J._Brouwer dbr:Axiom_of_regularity dbr:Axiom_of_union dbr:Realizability dbr:Undecidable_problem dbr:Bounded_quantifier dbr:Apartness_relation dbr:Function_application dbr:Disjunction_and_existence_properties dbr:Subcountability dbr:Subobject_classifier dbr:Successor_function dbr:General_recursive_function dbc:Systems_of_set_theory dbr:Axiom_of_infinity dbr:Axiom_of_pairing dbr:Constructivism_(philosophy_of_mathematics) dbr:Elementary_topos dbr:Choice_sequence dbr:Kleene's_T_predicate dbr:Ordinal_analysis dbr:UTM_theorem dbr:Edward_Nelson dbr:Ordinal_definable_set dbr:Stratification_(mathematics) dbr:Well-ordering_theorem dbr:Dedekind_cut dbr:Dedekind-infinite_set dbr:Elementary_function_arithmetic dbr:Turing_machine dbr:Axiom_of_choice dbr:Axiom_of_dependent_choice dbr:Total_order dbr:Axiom_schema_of_specification dbr:Curry–Howard_correspondence dbr:Second-order_logic dbr:Stanford_Encyclopedia_of_Philosophy dbr:Modulus_of_convergence dbr:Church's_thesis_(constructive_mathematics) dbr:Grzegorczyk_hierarchy dbr:Homotopy_type_theory dbr:Exponential_object dbr:Natural_numbers_object dbr:Classical_mathematics dbr:Axiom_of_Regularity dbr:Recursive_definition dbr:Computable_analysis dbr:Axiom_schema_of_predicative_separation dbr:Bachmann–Howard_ordinal dbr:General_set_theory dbr:Hereditarily_finite_set dbr:Axiom_of_non-choice dbr:Setoid dbr:Lifting_property dbr:Functional_relation dbr:Total_relation dbr:Recursion_theory dbr:Axiom_of_adjunction dbr:Axiomatic_set_theory dbr:Function_spaces dbr:Axiom_of_Choice dbr:Well-pointed_category dbr:Witness_(mathematics) dbr:Geometric_logic dbr:Topos_theory dbr:Bounded_arithmetic dbr:Induction,_bounding_and_least_number_principles dbr:Quantification_(logic) dbr:Brouwer_fixed_point_theorem dbr:Limit_ordinals dbr:Peano_arithmetic dbr:Epsilon_numbers_(mathematics) dbr:Injectivity dbr:Effectively_computable dbr:Pigeon_hole_principle dbr:Subcountable dbr:Martin-Löf_type_theory dbr:Heine-Borel_theorem dbr:Hereditarily_finite_sets dbr:Hom-functor dbr:Mathematical_intuitionism dbr:Constructivism_(mathematics) dbr:Adjoint_functor dbr:Existence_property dbr:Law_of_Excluded_Middle dbr:Power_set_axiom dbr:Powerset_axiom dbr:Principle_of_excluded_middle dbr:Well-ordering dbr:Constructive_type_theory dbr:Contrapositive dbr:De_Morgan's_law dbr:Dedekind_complete dbr:Dependent_choice dbr:Dependent_type_theory dbr:Natural_numbers dbr:Function_(set_theory) dbr:Disjunction dbr:Double_negation_elimination dbr:Ramsey_theorem dbr:Uncountable dbr:Apartness dbr:Apartness_relations dbr:Categoricity dbr:Cauchy_sequences dbr:Countable_choice dbr:Cartesian_closed dbr:Mac_Lane dbr:Non-well-founded_set dbr:Impredicative dbr:Russel's_paradox dbr:Subsets dbr:Surjectivity dbr:Propositions-as-types
dbp:wikiPageUsesTemplate	dbt:Foundations-footer dbt:Set_theory dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Math dbt:Cite_SEP dbt:Mvar dbt:Mathematical_logic dbt:Non-classical_logic dbt:Colend dbt:Cols dbt:Short_description
dct:subject	dbc:Intuitionism dbc:Constructivism_(mathematics) dbc:Systems_of_set_theory
gold:hypernym	dbr:Approach
rdfs:label	Constructive set theory (en)
owl:sameAs	yago-res:Constructive set theory freebase:Constructive set theory wikidata:Constructive set theory dbpedia-global:Constructive set theory
prov:wasDerivedFrom	wikipedia-en:Constructive_set_theory?oldid=1295371554&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Constructive_set_theory
is dbo:knownFor of	dbr:Peter_Aczel dbr:John_Myhill
is dbo:wikiPageRedirects of	dbr:Myhill's_constructive_set_theory dbr:Constructivist_set_theory dbr:Intuitionistic_Zermelo-Fraenkel dbr:Intuitionistic_Zermelo–Fraenkel dbr:Intuitionistic_set_theory dbr:IZF dbr:CZF
is dbo:wikiPageWikiLink of	dbr:Peter_Aczel dbr:Set_theory dbr:Axiom_schema_of_replacement dbr:Subquotient dbr:John_Myhill dbr:Schröder–Bernstein_theorem dbr:Constructive_analysis dbr:Epsilon-induction dbr:Zermelo–Fraenkel_set_theory dbr:Axiom_of_power_set dbr:List_of_first-order_theories dbr:Heyting_arithmetic dbr:Diaconescu's_theorem dbr:Kripke–Platek_set_theory dbr:Law_of_excluded_middle dbr:Glossary_of_areas_of_mathematics dbr:Constructive_proof dbr:List_of_unsolved_problems_in_mathematics dbr:Bounded_quantifier dbr:Disjunction_and_existence_properties dbr:Subcountability dbr:Constructivism_(philosophy_of_mathematics) dbr:Axiom_of_choice dbr:Church's_thesis_(constructive_mathematics) dbr:Metamath dbr:Indecomposability_(intuitionistic_logic) dbr:Axiom_schema_of_predicative_separation dbr:Bachmann–Howard_ordinal dbr:Hereditarily_finite_set dbr:Axiom_of_non-choice dbr:Intuitionism dbr:Alternative_set_theory dbr:Myhill's_constructive_set_theory dbr:Constructivist_set_theory dbr:Intuitionistic_Zermelo-Fraenkel dbr:Intuitionistic_Zermelo–Fraenkel dbr:Intuitionistic_set_theory dbr:IZF dbr:CZF
is dbp:knownFor of	dbr:Peter_Aczel dbr:John_Myhill
is foaf:primaryTopic of	wikipedia-en:Constructive_set_theory