No label defined (Q3812243)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1987
0 references
extension of classical second-order arithmetic
0 references
self-referential system extending ZF and provably consistent
0 references
Frege structure
0 references
comprehension rule
0 references
principle of choice
0 references
Scott's lattice-theoretic models of lambda calculus
0 references
