LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930)
From MaRDI portal
scientific article; zbMATH DE number 7333601
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION |
scientific article; zbMATH DE number 7333601 |
Statements
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (English)
0 references
15 April 2021
0 references
realizability
0 references
constructive set theory
0 references
topological models
0 references
0 references
0 references
