\(\mathsf{ZF}\) and its interpretations (Q6131202)
From MaRDI portal
scientific article; zbMATH DE number 7827507
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\mathsf{ZF}\) and its interpretations |
scientific article; zbMATH DE number 7827507 |
Statements
\(\mathsf{ZF}\) and its interpretations (English)
0 references
4 April 2024
0 references
Boolean-valued models
0 references
Heyting-valued models
0 references
algebra-valued models
0 references
\(\mathsf{ZF}\)
0 references
non-classical set theory
0 references
