Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. CLOTE: “Weak partition relations, finite games and independence results”, Proceedings of Logic Colloquium in Karpac 1979.
H. FRIEDMAN, K. Mc ALOON, S. SIMPSON: “A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis”.
C.G. JOCKUSCH, Jr.: “Ramsey's theorem and recursion theory”, SL 37-2, June 1972.
C.G. JOCKUSCH R. SOARE: “sk1/o classes and degrees of theories” Transactions of the American Mathematical Society 173, November 1972.
L.A.S. KIRBY, Ph. D. Thesis, Manchester University 1977.
L.A.S. KIRBY: “Flipping properties in arithmetic”. To appear.
L.A.S. KIRBY, J.B. PARIS: “Initial segments of models of Peano's axioms.
A. MACINTYRE: “Ramsey quantifiers in arithmetic” to appear.
A. MANASTER, J. ROSENSTEIN: “Effective matchmaking, rec. theor. aspects of a thm. of P. Hall”, Proc. London Math. Soc. 25 1972.
K. Mc ALOON: “Diagonal methods and strong cuts in models of arithmetic”, Logic Colloquium 1977, North Holland.
J.B. PARIS: “Some incompleteness results for Peano arithmetic, JSL.
J.B. PARIS: “A hierarchy of cuts in models of arithmetic.
P. PUDLAK: “Another combinatorial sentence independent of Peano's axioms” (unpublished).
C.E.M. YATES: “Arithmetical sets and retracing functions” Zeitschr. f. math. Logik und Grundlagen der Math. 13, 1967.
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Clote, P. (1981). Anti-Basis theorems and their relation to independence results in Peano arithmetic. In: Berline, C., McAloon, K., Ressayre, JP. (eds) Model Theory and Arithmetic. Lecture Notes in Mathematics, vol 890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0095660
Download citation
DOI: https://doi.org/10.1007/BFb0095660
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11159-7
Online ISBN: 978-3-540-38629-2
eBook Packages: Springer Book Archive