Lindenbaum Algebras and Partial Conservativity (Q4724620)
From MaRDI portal
scientific article; zbMATH DE number 3997780
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lindenbaum Algebras and Partial Conservativity |
scientific article; zbMATH DE number 3997780 |
Statements
1986
0 references
pairs of partially conservative sentences
0 references
partial conservativeness
0 references
extensions of PA
0 references
Lindenbaum lattices
0 references
Lindenbaum Algebras and Partial Conservativity (English)
0 references
