Hostname: page-component-7c8c6479df-27gpq Total loading time: 0 Render date: 2024-03-29T10:18:53.042Z Has data issue: false hasContentIssue false

Forcing and reducibilities. III. Forcing in fragments of set theory

Published online by Cambridge University Press:  12 March 2014

Piergiorgio Odifreddi*
Affiliation:
University of Turin, Turin, Italy

Extract

We conclude here the treatment of forcing in recursion theory begun in Part I and continued in Part II of [31]. The numbering of sections is the continuation of the numbering of the first two parts. The bibliography is independent.

In Part I our language was a first-order language: the only set we considered was the (set constant for the) generic set. In Part II a second-order language was introduced, and we had to interpret the second-order variables in some way. What we did was to consider the ramified analytic hierarchy, defined by induction as:

A0 = {Xω: X is arithmetic},

Aα+1 = {Xω: X is definable (in 2nd order arithmetic) over Aα},

Aλ = ⋃α<λAα (λ limit),

RA = ⋃αAα.

We then used (a relativized version of) the fact that (Kleene [27]). The definition of RA is obviously modeled on the definition of the constructible hierarchy introduced by Gödel [14]. For this we no longer work in a language for second-order arithmetic, but in a language for (first-order) set theory with membership as the only nonlogical relation:

L0 = ⊘,

Lα+1 = {X: X is (first-order) definable over Lα},

Lλ = ⋃α<λLα (λ limit),

L = ⋃αLα.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Abramson, F.G., Sacks forcing does not always produce a minimal upper bound, Advances in Mathematics, vol. 31 (1979), pp. 110130.CrossRefGoogle Scholar
[2]Adamowicz, Z., On finite lattices of degrees of constructibilily of reals, this Journal, vol. 41 (1976), pp. 313322.Google Scholar
[3]Adamowicz, Z., Constructible semi-lattices of degrees of constructibility, Lecture Notes in Mathematics, vol. 619, Springer-Verlag, Berlin and New York, 1977, pp. 144.Google Scholar
[4]Addison, J. W., Some consequences of the axiom of constructibility, Fundamenta Mathematicae, vol. 46 (1959), pp. 337357.CrossRefGoogle Scholar
[5]Addison, J.W. and Kleene, S.C., A note on function quantification, Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 10021006.CrossRefGoogle Scholar
[6]Balcar, B. and Hajek, P., On sequences of degrees of constructibility, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 291296.CrossRefGoogle Scholar
[7]Barwise, J., Admissible sets and structure, Springer-Verlag, Berlin and New York, 1975.CrossRefGoogle Scholar
[8]Boolos, G. and Putnam, H., Degrees of unsolvability of constructible sets of integers, this Journal, vol. 33 (1968), pp. 497513.Google Scholar
[9]Devlin, K.J., Aspects of constructibility, Lecture Notes in Mathematics, vol. 354, Springer-Verlag, Berlin and New York, 1973.Google Scholar
[10]Epstein, R.L., Degrees of unsolvability: Structure and theory, Lecture Notes in Mathematics, vol. 759, Springer-Verlag, Berlin and New York, 1979.Google Scholar
[11]Feferman, S., Some applications of the notion of forcing and generic sets, Fundamenta Mathematicae, vol. 56 (1965), pp. 325345.CrossRefGoogle Scholar
[12]Friedman, H., Minimality in the -degrees, Fundamenta Mathematicae, vol. 81 (1974), pp. 183192.CrossRefGoogle Scholar
[13]Friedman, H. and Jensen, R., Note on admissible ordinals, Lecture Notes in Mathematics, vol. 72, Springer-Verlag, Berlin and New York, 1968, pp. 7779.Google Scholar
[14]Gödel, K., The consistency of the axiom of choice and the generalized continuum hypothesis, Proceedings of the National Academy of Sciences of the U.S.A., vol. 24 (1938), pp. 556557.CrossRefGoogle ScholarPubMed
[15]Guaspari, D., Characterizing the constructive reals, L'Académie Polonaise des Sciences Bulletin Série des Sciences Mathématiques, vol. 22 (1974), pp. 357358.Google Scholar
[16]Grilliott, T.J., Omitting types: applications to recursion theory, this Journal, vol. 37 (1972), pp. 8189.Google Scholar
[17]Hajek, P., Some results on degrees of constructibility, Lecture Notes in Mathematics, vol. 669, Springer-Verlag, Berlin and New York, 1978, pp. 5571.Google Scholar
[18]Harrington, L., Analytic determinacy and 0#, this Journal, vol. 43 (1978), pp. 685693.Google Scholar
[19]Harrington, L. and Kechris, A., singletons and 0#, Fundamenta Mathematicae, vol. 95 (1977), pp. 167171.CrossRefGoogle Scholar
[20]Harrison, J., Some applications of recursive pseudo-well orderings, Doctoral dissertation, Stanford University, Stanford, California, 1967.Google Scholar
[21]Jensen, R., Definable sets of minimal degree, Mathematical logic and foundations of set theory (Bar-Hillel, H., Editor), North-Holland, Amsterdam 1970, pp. 122128.Google Scholar
[22]Jensen, R. and Solovay, R. M., Some applications of almost disjoint sets, Mathematical logic and foundations of set theory (Bar-Hillel, H., Editor), North-Holland, Amsterdam, 1970, pp. 84104.Google Scholar
[23]Kechris, A., The theory of countable analytical sets, Transactions of the American Mathematical Society, vol. 202 (1975), pp. 259297.CrossRefGoogle Scholar
[24]Kechris, A., Minimal upper bounds for sequences of -degrees, this Journal, vol. 43 (1978), pp. 502507.Google Scholar
[25]Kechris, A., Forcing in analysis, Lecture Notes in Mathematics, vol. 669, Springer-Verlag, Berlin and New York, 1978, pp. 278302.Google Scholar
[26]Kechris, A., Forcing with ⊿ perfect trees and minimal ⊿-degrees, this Journal, vol. 46 (1981), pp. 803816.Google Scholar
[27]Kleene, S.C., Quantification over number-theoretic functions, Compositio Mathematicae, vol. 14(1959), pp. 2340.Google Scholar
[28]Moschovakis, Y., Descriptive set theory, North-Holland, Amsterdam, 1980.Google Scholar
[29]Nerode, A. and Shore, R. A., Second order logic and first order theories of reducibility orderings, Proceedings of the Kleene Symposium, North-Holland, Amsterdam, 1980.Google Scholar
[30]Maass, W., Recursively enumerable generic sets, this Journal, vol. 47 (1982), pp. 809823.Google Scholar
[31]Odifreddi, P.G., Forcing and reducibilities, I, II, this Journal, vol. 48 (1983), pp. 288–310, 724743.Google Scholar
[32]Odifreddi, P.G., Classical recursion theory (to appear).Google Scholar
[33]Richter, W., Constructive transfinite number classes, Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 261265.CrossRefGoogle Scholar
[34]Sacks, G.E., Forcing with perfect closed sets, Proceedings of Symposia in Pure Mathematics, vol. 13, Part I, American Mathematical Society, Providence, RI., 1971, pp. 331355.Google Scholar
[35]Sacks, G.E., On the reducibility of sets, Advances in Mathematics, vol. 7 (1971), pp. 5772.CrossRefGoogle Scholar
[36]Sacks, G.E., The 1-sections of a type n obiect, Generalized recursion theory (Fenstad, J. and Hinman, P., Editors), North-Holland, Amsterdam, 1974, pp. 8193.Google Scholar
[37]Sacks, G.E., Countable admissible ordinals and hyperdegrees, Advances in Mathematics, vol. 19(1976), pp. 213262.CrossRefGoogle Scholar
[38]Shoenfield, J.R., The problem of predicativity, Essays on the foundations of mathematics, Magnes Press, Jerusalem, 1961, pp. 132139.Google Scholar
[39]Shoenfield, J.R., The form of the negation of a predicate, Proceedings of Symposia in Pure Mathematics, vol. 6 American Mathematical Society, Providence, R.I., 1962, pp. 131134.Google Scholar
[40]Shoenfield, J.R., Mathematical logic, Addison-Wesley, Reading, Mass., 1967.Google Scholar
[41]Silver, J., Some applications of model theory in set theory, Annals of Mathematical Logic, vol. 3(1971), pp. 45110.CrossRefGoogle Scholar
[42]Simpson, S G., Minimal covers and hyperdegrees, Transactions of the American Mathematical Society, vol. 209 (1975), pp. 4564.CrossRefGoogle Scholar
[43]Solovay, R.M., A non-constructible set of integers, Transactions of the American Mathematical Society, vol. 127 (1967), pp. 5875.Google Scholar
[44]Solovay, R.M., On the cardinality of sets of reals, Foundations of mathematics (Bulloff, J.et al., eds) Springer-Verlag, Berlin and New York, 1969, pp. 5873.CrossRefGoogle Scholar
[45]Spector, C., Recursive ordinals and predicative set theory, mimeographed notes, Summer Institute for Symbolic Logic, Cornell University, Ithaca, New York, 1957.Google Scholar
[46]Steen, J. R., Forcing with tagged trees, Annals of Mathematical Logic, vol. 15 (1978), pp. 5574.Google Scholar
[47]Suzuki, Y., A complete classification of the functions, Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 246253.CrossRefGoogle Scholar
[48]Tarski, A., Logic, semantics, metamathematics, Oxford University Press, Oxford, 1956.Google Scholar
[49]Tugue, T., Predicates recursive in a type-2 object and Kleene hierarchies, Commentarii Mathematici Universitatis Sancti Pauli, vol. 8 (1960), pp. 97117.Google Scholar
[50]Zarach, A., Generic extensions of admissible sets, Lecture Notes in Mathematics, vol. 537, Springer-Verlag, Berlin and New York, 1976, pp. 321333.Google Scholar