Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5164501> ?p ?o }
Showing triples 1 to 53 of
53
with 100 triples per page.
- Q5164501 subject Q8552080.
- Q5164501 subject Q8840631.
- Q5164501 subject Q9621872.
- Q5164501 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).".
- Q5164501 wikiPageExternalLink set-theory-constructive.
- Q5164501 wikiPageExternalLink vdberg-slides.pdf.
- Q5164501 wikiPageExternalLink AczelMon_Sep_24_09_16_56.rdf.html.
- Q5164501 wikiPageWikiLink Q1077811.
- Q5164501 wikiPageWikiLink Q11348.
- Q5164501 wikiPageWikiLink Q1137814.
- Q5164501 wikiPageWikiLink Q12482.
- Q5164501 wikiPageWikiLink Q130901.
- Q5164501 wikiPageWikiLink Q1361544.
- Q5164501 wikiPageWikiLink Q1361825.
- Q5164501 wikiPageWikiLink Q176786.
- Q5164501 wikiPageWikiLink Q179692.
- Q5164501 wikiPageWikiLink Q1806121.
- Q5164501 wikiPageWikiLink Q185521.
- Q5164501 wikiPageWikiLink Q191290.
- Q5164501 wikiPageWikiLink Q191849.
- Q5164501 wikiPageWikiLink Q192439.
- Q5164501 wikiPageWikiLink Q1987722.
- Q5164501 wikiPageWikiLink Q2073584.
- Q5164501 wikiPageWikiLink Q21199.
- Q5164501 wikiPageWikiLink Q2303607.
- Q5164501 wikiPageWikiLink Q2874789.
- Q5164501 wikiPageWikiLink Q3149511.
- Q5164501 wikiPageWikiLink Q3303153.
- Q5164501 wikiPageWikiLink Q36161.
- Q5164501 wikiPageWikiLink Q402579.
- Q5164501 wikiPageWikiLink Q4055684.
- Q5164501 wikiPageWikiLink Q468422.
- Q5164501 wikiPageWikiLink Q470981.
- Q5164501 wikiPageWikiLink Q4830561.
- Q5164501 wikiPageWikiLink Q49823.
- Q5164501 wikiPageWikiLink Q5383944.
- Q5164501 wikiPageWikiLink Q592911.
- Q5164501 wikiPageWikiLink Q6059147.
- Q5164501 wikiPageWikiLink Q7049089.
- Q5164501 wikiPageWikiLink Q7241077.
- Q5164501 wikiPageWikiLink Q740424.
- Q5164501 wikiPageWikiLink Q780487.
- Q5164501 wikiPageWikiLink Q824553.
- Q5164501 wikiPageWikiLink Q833585.
- Q5164501 wikiPageWikiLink Q842755.
- Q5164501 wikiPageWikiLink Q8552080.
- Q5164501 wikiPageWikiLink Q8840631.
- Q5164501 wikiPageWikiLink Q920450.
- Q5164501 wikiPageWikiLink Q920796.
- Q5164501 wikiPageWikiLink Q9621872.
- Q5164501 wikiPageWikiLink Q975734.
- Q5164501 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).".
- Q5164501 label "Constructive set theory".