ZFC-MODELS AS KRIPKE-MODELS (Q3669378)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ZFC-MODELS AS KRIPKE-MODELS |
scientific article |
Statements
ZFC-MODELS AS KRIPKE-MODELS (English)
0 references
1983
0 references
ZFC
0 references
Kripke model
0 references
necessity
0 references
provability
0 references
independence results
0 references
recursive tree
0 references
