No label defined (Q3084837)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
25 March 2011
0 references
modelling with sets
0 references
\(\varepsilon\)-structures
0 references
reflexive structures
0 references
self-applicable functions
0 references
intensional meaning
0 references
pure \(\lambda\)-calculus
0 references
non-wellfounded sets
0 references
\(\in_T\)-logics
0 references
impredicative quantification
0 references
total truth predicates
0 references
self-reference
0 references
