Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Constructive_set_theory> ?p ?o }
- Constructive_set_theory abstract "Constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first-order language of classical set theory, and although of course the logic is constructive, there is no explicit use of constructive types. Rather, there are just sets, thus it can look very much like classical mathematics done on the most common foundations, namely the Zermelo–Fraenkel axioms (ZFC).".
- Constructive_set_theory wikiPageExternalLink set-theory-constructive.
- Constructive_set_theory wikiPageExternalLink vdberg-slides.pdf.
- Constructive_set_theory wikiPageExternalLink AczelMon_Sep_24_09_16_56.rdf.html.
- Constructive_set_theory wikiPageID "5042360".
- Constructive_set_theory wikiPageLength "11860".
- Constructive_set_theory wikiPageOutDegree "72".
- Constructive_set_theory wikiPageRevisionID "679297247".
- Constructive_set_theory wikiPageWikiLink Aczels_anti-foundation_axiom.
- Constructive_set_theory wikiPageWikiLink Axiom_of_choice.
- Constructive_set_theory wikiPageWikiLink Axiom_of_dependent_choice.
- Constructive_set_theory wikiPageWikiLink Axiom_of_exponentiation.
- Constructive_set_theory wikiPageWikiLink Axiom_of_extensionality.
- Constructive_set_theory wikiPageWikiLink Axiom_of_foundation.
- Constructive_set_theory wikiPageWikiLink Axiom_of_infinity.
- Constructive_set_theory wikiPageWikiLink Axiom_of_non-choice.
- Constructive_set_theory wikiPageWikiLink Axiom_of_pairing.
- Constructive_set_theory wikiPageWikiLink Axiom_of_power_set.
- Constructive_set_theory wikiPageWikiLink Axiom_of_regularity.
- Constructive_set_theory wikiPageWikiLink Axiom_of_separation.
- Constructive_set_theory wikiPageWikiLink Axiom_of_union.
- Constructive_set_theory wikiPageWikiLink Axiom_schema_of_predicative_separation.
- Constructive_set_theory wikiPageWikiLink Axiom_schema_of_replacement.
- Constructive_set_theory wikiPageWikiLink Axiom_schema_of_separation.
- Constructive_set_theory wikiPageWikiLink Axiom_schema_of_specification.
- Constructive_set_theory wikiPageWikiLink Axiomatic_set_theory.
- Constructive_set_theory wikiPageWikiLink Binary_relation.
- Constructive_set_theory wikiPageWikiLink Category:Constructivism_(mathematics).
- Constructive_set_theory wikiPageWikiLink Category:Intuitionism.
- Constructive_set_theory wikiPageWikiLink Category:Systems_of_set_theory.
- Constructive_set_theory wikiPageWikiLink Constructive_logic.
- Constructive_set_theory wikiPageWikiLink Constructive_type_theory.
- Constructive_set_theory wikiPageWikiLink Constructivism_(mathematics).
- Constructive_set_theory wikiPageWikiLink Curry–Howard_correspondence.
- Constructive_set_theory wikiPageWikiLink Dana_Scott.
- Constructive_set_theory wikiPageWikiLink Domain_(mathematics).
- Constructive_set_theory wikiPageWikiLink Domain_of_a_function.
- Constructive_set_theory wikiPageWikiLink Epsilon-induction.
- Constructive_set_theory wikiPageWikiLink Errett_Bishop.
- Constructive_set_theory wikiPageWikiLink First-order_logic.
- Constructive_set_theory wikiPageWikiLink Foundation_of_mathematics.
- Constructive_set_theory wikiPageWikiLink Foundations_of_mathematics.
- Constructive_set_theory wikiPageWikiLink Function_(mathematics).
- Constructive_set_theory wikiPageWikiLink Function_(set_theory).
- Constructive_set_theory wikiPageWikiLink Impredicative.
- Constructive_set_theory wikiPageWikiLink Impredicativity.
- Constructive_set_theory wikiPageWikiLink Intuitionistic_logic.
- Constructive_set_theory wikiPageWikiLink Intuitionistic_type_theory.
- Constructive_set_theory wikiPageWikiLink John_Myhill.
- Constructive_set_theory wikiPageWikiLink Law_of_excluded_middle.
- Constructive_set_theory wikiPageWikiLink Law_of_the_excluded_middle.
- Constructive_set_theory wikiPageWikiLink Many-sorted_logic.
- Constructive_set_theory wikiPageWikiLink Martin-Löf_type_theory.
- Constructive_set_theory wikiPageWikiLink Natural_number.
- Constructive_set_theory wikiPageWikiLink Natural_numbers.
- Constructive_set_theory wikiPageWikiLink Non-well-founded_set.
- Constructive_set_theory wikiPageWikiLink Non-well-founded_set_theory.
- Constructive_set_theory wikiPageWikiLink Ordered_pair.
- Constructive_set_theory wikiPageWikiLink Peano_axioms.
- Constructive_set_theory wikiPageWikiLink Peter_Aczel.
- Constructive_set_theory wikiPageWikiLink Power_set_axiom.
- Constructive_set_theory wikiPageWikiLink Presheaf_(category_theory).
- Constructive_set_theory wikiPageWikiLink Propositions-as-types.
- Constructive_set_theory wikiPageWikiLink Quantification_(logic).
- Constructive_set_theory wikiPageWikiLink Quantifier_(logic).
- Constructive_set_theory wikiPageWikiLink Range_(mathematics).
- Constructive_set_theory wikiPageWikiLink Set_(mathematics).
- Constructive_set_theory wikiPageWikiLink Set_theory.
- Constructive_set_theory wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Constructive_set_theory wikiPageWikiLink Truth_value.
- Constructive_set_theory wikiPageWikiLink Zermelo–Fraenkel_axioms.
- Constructive_set_theory wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Constructive_set_theory wikiPageWikiLinkText "CZF".
- Constructive_set_theory wikiPageWikiLinkText "Constructive set theory".
- Constructive_set_theory wikiPageWikiLinkText "Constructive set theory#Aczel's constructive Zermelo–Fraenkel".
- Constructive_set_theory wikiPageWikiLinkText "Constructive set theory#Myhill's constructive set theory".
- Constructive_set_theory wikiPageWikiLinkText "Constructive_set_theory#Intuitionistic_Zermelo–Fraenkel".
- Constructive_set_theory wikiPageWikiLinkText "Intuitionistic Zermelo–Fraenkel".
- Constructive_set_theory wikiPageWikiLinkText "constructive Zermelo-Fraenkel set theory".
- Constructive_set_theory wikiPageWikiLinkText "constructive counterpart of ZF".
- Constructive_set_theory wikiPageWikiLinkText "constructive set theories".
- Constructive_set_theory wikiPageWikiLinkText "constructive set theory".
- Constructive_set_theory wikiPageWikiLinkText "intuitionistic set theory".
- Constructive_set_theory hasPhotoCollection Constructive_set_theory.
- Constructive_set_theory wikiPageUsesTemplate Template:Cite_book.
- Constructive_set_theory wikiPageUsesTemplate Template:Expand_section.
- Constructive_set_theory wikiPageUsesTemplate Template:Non-classical_logic.
- Constructive_set_theory wikiPageUsesTemplate Template:Reflist.
- Constructive_set_theory subject Category:Constructivism_(mathematics).
- Constructive_set_theory subject Category:Intuitionism.
- Constructive_set_theory subject Category:Systems_of_set_theory.
- Constructive_set_theory hypernym Approach.
- Constructive_set_theory type Article.
- Constructive_set_theory type ProgrammingLanguage.
- Constructive_set_theory type Article.
- Constructive_set_theory type Theory.
- Constructive_set_theory comment "Constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first-order language of classical set theory, and although of course the logic is constructive, there is no explicit use of constructive types. Rather, there are just sets, thus it can look very much like classical mathematics done on the most common foundations, namely the Zermelo–Fraenkel axioms (ZFC).".
- Constructive_set_theory label "Constructive set theory".
- Constructive_set_theory sameAs m.0d04qm.
- Constructive_set_theory sameAs Q5164501.