Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Effective_topos> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- Effective_topos abstract "In mathematics, the effective topos is a topos introduced by Martin Hyland (1982), based on Kleene's notion of recursive realizability, that captures the idea of effectivity in mathematics.".
- Effective_topos wikiPageID "30939514".
- Effective_topos wikiPageRevisionID "446775503".
- Effective_topos authorlink "Martin Hyland".
- Effective_topos first "Martin".
- Effective_topos hasPhotoCollection Effective_topos.
- Effective_topos last "Hyland".
- Effective_topos year "1982".
- Effective_topos subject Category:Topos_theory.
- Effective_topos comment "In mathematics, the effective topos is a topos introduced by Martin Hyland (1982), based on Kleene's notion of recursive realizability, that captures the idea of effectivity in mathematics.".
- Effective_topos label "Effective topos".
- Effective_topos sameAs m.0gg4tth.
- Effective_topos sameAs Q5347283.
- Effective_topos sameAs Q5347283.
- Effective_topos wasDerivedFrom Effective_topos?oldid=446775503.
- Effective_topos isPrimaryTopicOf Effective_topos.