Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Heyting_field> ?p ?o }
Showing triples 1 to 23 of
23
with 100 triples per page.
- Heyting_field abstract "A Heyting field is one of the inequivalent ways in constructive mathematics to capture the classical notion of a field. It is essentially a field with an apartness relation. The key field axiom is that an element is invertible if and only if it is not zero. In a Heyting field, this is taken to mean that it is apart from zero. In many cases, the assumption that an element is not equal to zero is insufficient to construct the inverse; the assumption that it is apart from zero implicitly contains the necessary information.The prototypical Heyting field is the real numbers with their natural apartness relation.".
- Heyting_field wikiPageID "26961524".
- Heyting_field wikiPageLength "844".
- Heyting_field wikiPageOutDegree "6".
- Heyting_field wikiPageRevisionID "481398804".
- Heyting_field wikiPageWikiLink Apartness_relation.
- Heyting_field wikiPageWikiLink Category:Constructivism_(mathematics).
- Heyting_field wikiPageWikiLink Classical_logic.
- Heyting_field wikiPageWikiLink Constructivism_(mathematics).
- Heyting_field wikiPageWikiLink Field_(mathematics).
- Heyting_field wikiPageWikiLink Real_number.
- Heyting_field wikiPageWikiLinkText "Heyting field".
- Heyting_field wikiPageUsesTemplate Template:Algebra-stub.
- Heyting_field subject Category:Constructivism_(mathematics).
- Heyting_field hypernym Ways.
- Heyting_field type Theory.
- Heyting_field comment "A Heyting field is one of the inequivalent ways in constructive mathematics to capture the classical notion of a field. It is essentially a field with an apartness relation. The key field axiom is that an element is invertible if and only if it is not zero. In a Heyting field, this is taken to mean that it is apart from zero.".
- Heyting_field label "Heyting field".
- Heyting_field sameAs Q5749811.
- Heyting_field sameAs m.0brytf4.
- Heyting_field sameAs Q5749811.
- Heyting_field wasDerivedFrom Heyting_field?oldid=481398804.
- Heyting_field isPrimaryTopicOf Heyting_field.