Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Constructive_set_theory> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 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 wikiPageRevisionID "550899744".
- Constructive_set_theory hasPhotoCollection Constructive_set_theory.
- 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 type Artifact100021939.
- Constructive_set_theory type Instrumentality103575240.
- Constructive_set_theory type Object100002684.
- Constructive_set_theory type PhysicalEntity100001930.
- Constructive_set_theory type System104377057.
- Constructive_set_theory type SystemsOfSetTheory.
- Constructive_set_theory type Whole100003553.
- 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.
- Constructive_set_theory sameAs Q5164501.
- Constructive_set_theory sameAs Constructive_set_theory.
- Constructive_set_theory wasDerivedFrom Constructive_set_theory?oldid=550899744.
- Constructive_set_theory isPrimaryTopicOf Constructive_set_theory.