Type inference for set theory (Q5958782)
From MaRDI portal
scientific article; zbMATH DE number 1715827
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type inference for set theory |
scientific article; zbMATH DE number 1715827 |
Statements
Type inference for set theory (English)
0 references
3 March 2002
0 references
The author considers a weak fragment of ZF that may be used for set-theoretic specification. This fragment is essentially ZF without replacement and with separation restricted to \(\Delta _0\)-wff. He defines and studies a type inference system for this set theory.
0 references
weak fragments of ZF set theory
0 references
set-theoretic specification
0 references
type inference
0 references
Zermelo set theory
0 references
MacLane set theory
0 references
