Find link

language:

Find link is a tool written by Edward Betts.

searching for Constructive set theory 2 found (37 total)

Ordinal analysis (4,962 words) [view diff] exact match in snippet view article find links to article

second-order lambda calculus. Constructive set theory C Z F {\displaystyle {\mathsf {CZF}}} is Aczel's constructive set theory. C Z F + R E A {\displaystyle

Glossary of set theory (11,628 words) [view diff] case mismatch in snippet view article find links to article

Set-builder notation P. Aczel, The Type Theoretic Interpretation of Constructive Set Theory (1978) Bostock, David (2012). Russell's logical atomism. Oxford: