Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726)
From MaRDI portal
scientific article; zbMATH DE number 7465328
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Syntax for Semantics: Krull’s Maximal Ideal Theorem |
scientific article; zbMATH DE number 7465328 |
Statements
Syntax for Semantics: Krull’s Maximal Ideal Theorem (English)
0 references
27 January 2022
0 references
Paul Lorenzen
0 references
Vaihinger
0 references
Krull's Maximal Ideal Theorem (MIT)
0 references
detachable subset
0 references
Axiom of choice
0 references
revised Hilbert Program
0 references
Raoult's principle of Open Induction (OI)
0 references
entailment relation
0 references
geometric entailment relation
0 references
geometric sequents
0 references
class inductive definition theorem
0 references
finite information topology
0 references
Formal Nullstellensatz
0 references
Gilmer radical
0 references
useful fictions
0 references
dynamical algebra
0 references
0 references
0 references
0 references
0 references
