preprint
Open access
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
Research footprint
At a glance
- Citations
- 0
- References
- 0
- Comments
- 0
Paper overview
Abstract
The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.
Record transparency
Publication details
- DOI
- 10.48550/arxiv.2303.11075
- OpenAlex
- W4353007368
- Document type
- preprint
- Language
- EN
- Source
- arXiv (Cornell University)
- Last metadata update
Comments
Log in to join the discussion.