Global inductive definability
- 1 September 1978
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 43 (3), 521-534
- https://doi.org/10.2307/2273529
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.Keywords
This publication has 4 references indexed in Scilit:
- Admissible Sets and StructuresPerspectives in Mathematical Logic, 1975
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974
- A counter-example in ring theory and homological algebraJournal of Algebra, 1969
- The Radical and Semi-Simplicity for Arbitrary RingsAmerican Journal of Mathematics, 1945