×

zbMATH — the first resource for mathematics

Propositional provability and models of weak arithmetic. (English) Zbl 0925.03211
Börger, E. (ed.) et al., CSL ’89. 3rd Workshop on Computer science logic, Kaiserslautern, Germany, October 2–6, 1989. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 440, 193-210 (1990).
For the entire collection see [Zbl 0925.00072].

MSC:
03F30 First-order arithmetic and fragments
03H15 Nonstandard models of arithmetic
03C62 Models of arithmetic and set theory
PDF BibTeX XML Cite