Global Inductive Definability
Jon Barwise and Yiannis N. Moschovakis
Source: J. Symbolic Logic Volume 43, Issue 3 (1978), 521-534.
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.
Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183740258
JSTOR: links.jstor.org
Mathematical Reviews number (MathSciNet):
MR503790
Zentralblatt MATH identifier:
0395.03021
