Switch to: Citations

References in:

A contribution to the end-extension problem and the Π1 conservativeness problem

Zofia Adamowicz

Annals of Pure and Applied Logic 61 (1-2):3-48 (1993)

Add references

You must login to add references.

On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 96 citations
On maximal theories.Zofia Adamowicz - 1991 - Journal of Symbolic Logic 56 (3):885-890.details Mathematical Logic in Philosophy of Mathematics Model Theory in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 4 citations
On Maximal Theories.Zofia Adamowicz - 1991 - Journal of Symbolic Logic 56 (3):885-890.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 4 citations
A sharp version of the bounded matijasevich conjecture and the end- extension problem.Zofia Adamowicz - 1992 - Journal of Symbolic Logic 57 (2):597-616.details Model Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 4 citations
A Note on BΣn and an Intermediate Induction Schema.Zofia Adamowicz & Roman Kossak - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):261-264.details Areas of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 1 citation

1