Publisher
Springer Science and Business Media LLC
Reference19 articles.
1. Adamowicz, Z.: End-extending models of $$I\Delta _0 + exp + B\Sigma _1$$. Fundam. Math. 136, 133–145 (1990)
2. Adamowicz, Z.: A contribution to the end-extension problem and the $$\Pi _1$$ consrvativeness problem. Ann. Pure Appl. Log. 61, 3–48 (1993)
3. Clote, P.: A note on the MacDowell–Specker theorem. Fundam. Math. 127(2), 163–170 (1986)
4. Clote, P.: A note on the MacDowell–Specker theorem. Fundam. Math. 158(3), 301–302 (1998)
5. Clote, P., Krajiček, J.: Open problems, Oxford logic guides. In: Arithmetic, Proof Theory, and Computational Complexity (Prague, 1991), vol. 23, pp. 1–19. Oxford University Press, New York (1993)