Disjunction and existence properties
id:
disjunction-and-existence-properties-319-13579654
title:
Disjunction and existence properties
text:
In mathematical logic, the disjunction and existence properties are the "hallmarks" of constructive theories such as Heyting arithmetic and constructive set theories (Rathjen 2005).
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Disjunction_and_existence_properties
date created:
date modified:
2024-01-15T23:43:38Z
main entity:
{"identifier":"Q5282264","url":"https://www.wikidata.org/entity/Q5282264"}
image:
fields total:
13
integrity:
13