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
J. T. Baldwin and A. H. Lachlan, On strongly minimal sets, Journ. Symbolic Logic 36 (1971), 79–96.
J. P. Cleave, Hyperarithmetic model theory, unpublished.
J. P. Cleave, Hyperarithmetic ultrafilters, Proc. Summer School in Logic, Lecture Notes in Mathematics, Vol. 70, Springer, Berlin (1968), 223–240.
N. J. Cutland, The theory of hyperarithmetic and Π 11 -models, Ph.D. thesis, University of Bristol (1970).
A. Ehrenfeucht, Theories having at least continuum many non-isomorphic models in each power, Abstract 550-23, Notices Amer. Math. Soc., 5 (1958), 680–681.
A. Ehrenfeucht and A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math., 43 (1956), 50–68.
G. Kreisel, The axiom of choice and the class of hyperarithmetic functions, Indag. Math., 24 (1962), 307–319.
W. Marsh, On ω1-categorical but not ω-categorical theories, Doctoral dissertation, Dartmouth College (1966).
M. Morley, Categoricity in power, Trans. Amer. Math. Soc., 114 (1965), 514–538.
M. Morley, Countable models of X 1 -categorical theories, Israel Jour. of Math., 5 (1967), 65–72.
M. Morley and R. L. Vaught, Homogeneous universal models, Math. Scand., 11 (1962), 37–57.
H. Rogers Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1972 Springer-Verlag
About this paper
Cite this paper
Cutland, N. (1972). Π 11 models and Π 11 -categoricity. In: Hodges, W. (eds) Conference in Mathematical Logic — London ’70. Lecture Notes in Mathematics, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0059537
Download citation
DOI: https://doi.org/10.1007/BFb0059537
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05744-4
Online ISBN: 978-3-540-37162-5
eBook Packages: Springer Book Archive