Epistemic set theory is a conservative extension of intuitionistic set theory (Q3758827)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Epistemic set theory is a conservative extension of intuitionistic set theory |
scientific article |
Statements
Epistemic set theory is a conservative extension of intuitionistic set theory (English)
0 references
1985
0 references
formal systems for set theory
0 references
Gödel's interpretation
0 references
models of ZFE
0 references
modal logic
0 references
informal provability
0 references
Ščedrov's extension of the Gödel translation to set theory
0 references
faithful interpretation
0 references
intuitionistic set theory
0 references
epistemic set theory
0 references
topological Boolean algebra
0 references
Boolean-valued models
0 references
0 references
