Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Disjunction_and_existence_properties> ?p ?o }
Showing triples 1 to 54 of
54
with 100 triples per page.
- Disjunction_and_existence_properties abstract "In mathematical logic, the disjunction and existence properties are the \"hallmarks\" of constructive theories such as Heyting arithmetic and constructive set theories (Rathjen 2005). The disjunction property is satisfied by a theory if, whenever a sentence A ∨ B is a theorem, then either A is a theorem, or B is a theorem.The existence property or witness property is satisfied by a theory if, whenever a sentence (∃x)A(x) is a theorem, where A(x) has no other free variables, then there is some term t such that the theory proves A(t).".
- Disjunction_and_existence_properties wikiPageExternalLink logic-intuitionistic.
- Disjunction_and_existence_properties wikiPageExternalLink 27588423.
- Disjunction_and_existence_properties wikiPageID "1010522".
- Disjunction_and_existence_properties wikiPageLength "7757".
- Disjunction_and_existence_properties wikiPageOutDegree "42".
- Disjunction_and_existence_properties wikiPageRevisionID "698111647".
- Disjunction_and_existence_properties wikiPageWikiLink Anne_Sjerp_Troelstra.
- Disjunction_and_existence_properties wikiPageWikiLink Axiom_of_constructibility.
- Disjunction_and_existence_properties wikiPageWikiLink Bounded_quantifier.
- Disjunction_and_existence_properties wikiPageWikiLink Category:Constructivism_(mathematics).
- Disjunction_and_existence_properties wikiPageWikiLink Category:Proof_theory.
- Disjunction_and_existence_properties wikiPageWikiLink Category_theory.
- Disjunction_and_existence_properties wikiPageWikiLink Churchs_thesis_(constructive_mathematics).
- Disjunction_and_existence_properties wikiPageWikiLink Constructive_set_theory.
- Disjunction_and_existence_properties wikiPageWikiLink Constructivism_(mathematics).
- Disjunction_and_existence_properties wikiPageWikiLink Coproduct.
- Disjunction_and_existence_properties wikiPageWikiLink Epimorphism.
- Disjunction_and_existence_properties wikiPageWikiLink Extension_by_definitions.
- Disjunction_and_existence_properties wikiPageWikiLink First-order_logic.
- Disjunction_and_existence_properties wikiPageWikiLink Free_topos.
- Disjunction_and_existence_properties wikiPageWikiLink Gerhard_Gentzen.
- Disjunction_and_existence_properties wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Disjunction_and_existence_properties wikiPageWikiLink Harvey_Friedman.
- Disjunction_and_existence_properties wikiPageWikiLink Heyting_algebra.
- Disjunction_and_existence_properties wikiPageWikiLink Heyting_arithmetic.
- Disjunction_and_existence_properties wikiPageWikiLink Initial_and_terminal_objects.
- Disjunction_and_existence_properties wikiPageWikiLink John_Myhill.
- Disjunction_and_existence_properties wikiPageWikiLink Kurt_Gödel.
- Disjunction_and_existence_properties wikiPageWikiLink Mathematical_logic.
- Disjunction_and_existence_properties wikiPageWikiLink Peano_axioms.
- Disjunction_and_existence_properties wikiPageWikiLink Realizability.
- Disjunction_and_existence_properties wikiPageWikiLink Recursively_enumerable_set.
- Disjunction_and_existence_properties wikiPageWikiLink Sentence_(logic).
- Disjunction_and_existence_properties wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Disjunction_and_existence_properties wikiPageWikiLink Stephen_Cole_Kleene.
- Disjunction_and_existence_properties wikiPageWikiLink Theorem.
- Disjunction_and_existence_properties wikiPageWikiLink Topos.
- Disjunction_and_existence_properties wikiPageWikiLink Ulrich_Kohlenbach.
- Disjunction_and_existence_properties wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Disjunction_and_existence_properties wikiPageWikiLinkText "Disjunction and existence properties".
- Disjunction_and_existence_properties wikiPageWikiLinkText "disjunction and existence properties".
- Disjunction_and_existence_properties subject Category:Constructivism_(mathematics).
- Disjunction_and_existence_properties subject Category:Proof_theory.
- Disjunction_and_existence_properties type Proof.
- Disjunction_and_existence_properties type Theory.
- Disjunction_and_existence_properties comment "In mathematical logic, the disjunction and existence properties are the \"hallmarks\" of constructive theories such as Heyting arithmetic and constructive set theories (Rathjen 2005).".
- Disjunction_and_existence_properties label "Disjunction and existence properties".
- Disjunction_and_existence_properties sameAs Q5282264.
- Disjunction_and_existence_properties sameAs Propriedades_de_disjunção_e_existência.
- Disjunction_and_existence_properties sameAs m.03yyyp.
- Disjunction_and_existence_properties sameAs Q5282264.
- Disjunction_and_existence_properties wasDerivedFrom Disjunction_and_existence_properties?oldid=698111647.
- Disjunction_and_existence_properties isPrimaryTopicOf Disjunction_and_existence_properties.