DOI10.2307/2046524zbMath0616.03031OpenAlexW4248430207MaRDI QIDQ4724620
Christian Bennet
Publication date: 1986
Full work available at URL: https://doi.org/10.2307/2046524
zbMATH Keywords
extensions of PALindenbaum latticespairs of partially conservative sentencespartial conservativeness
Mathematics Subject Classification ID
First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)
Cites Work