Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-25T18:59:48.980Z Has data issue: false hasContentIssue false
  • English
  • Français

Global inductive definability1

Published online by Cambridge University Press:  12 March 2014

Jon Barwise  and
Yiannis N. Moschovakis
Jon Barwise
Affiliation:
University of Wisconsin, Madison, Wisconsin 53706
Yiannis N. Moschovakis
Affiliation:
University of California, Los Angeles, California 94720
Get access Rights & Permissions [Opens in a new window]

Abstract

We show that several theorems on ordinal bounds in different parts of logic are simple consequences of a basic result in the theory of global inductive definitions.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 43 , Issue 3 , September 1978 , pp. 521 - 534
Copyright
Copyright © Association for Symbolic Logic 1978

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.)

Footnotes

1

The preparation of this paper was partially supported by Grant NSF-MCS 76-06541.

References

REFERENCES

Barwise, Jon [1974], Axioms for abstract model theory, Annals of Mathematical Logic, vol. 7, pp. 221–265.CrossRefGoogle Scholar
Barwise, Jon [1975], Admissible sets and structures, Springer-Verlag, Berlin and New York.CrossRefGoogle Scholar
Barwise, J., Gandy, R. O. and Moschovakis, Y. N. [1971], The next admissible set, this Journal, vol. 36, pp. 108–120.Google Scholar
Chang, C. C. and Keisler, H. J. [1973], Model theory, North-Holland, Amsterdam.Google Scholar
Eklof, P. and Sabbagh, G. [1971], Definability problems for modules and rings, this Journal, vol. 36, pp. 623–649.Google Scholar
Jacobson, N. [1945], The radical and semi-simplicity for arbitrary rings, American Journal of Mathematics, vol. 67, pp. 300–320.CrossRefGoogle Scholar
Jategaonkar, A. V. [1969], A counter-example in ring theory and homological algebra, Journal of Algebra, vol. 12, pp. 418–440.CrossRefGoogle Scholar
Moschovakis, Y. N. [1974], Elementary induction on abstract structures, North-Holland, Amsterdam.Google Scholar
Sacks, G. [1972], Saturated model theory, Benjamin, New York.Google Scholar
Sacks, G. [to appear], Effective bounds on Morley rank.Google Scholar