Global inductive definability

DOI10.2307/2273529zbMath0395.03021OpenAlexW1965372036MaRDI QIDQ4177549

Jon Barwise, Yiannis N. Moschovakis

Publication date: 1978

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273529

zbMATH Keywords

Pairing FunctionsNoetherian RingsOmitting TypesBack-And-ForthClosure OrdinalsFinitely Generated SubstructuresInductive DefinabilityInfinitary Logics On Admissible SetsJacobson RadicalsKarp-Scott AnalysisMorley RankMorley-Shelah Ranks Of FormulasNilpotence IndicesTwo-Sorted StructuresUltra-ProductsVerifiability Relations

Mathematics Subject Classification ID

Noetherian rings and modules (associative rings and algebras) (16P40) General logic (03B99) Mathematical logic and foundations (03-XX) Model theory (03Cxx)

Related Items (9)

1998 European Summer Meeting of the Association for Symbolic Logic ⋮ Interpolation and preservation for pebble logics ⋮ Interpolation, preservation, and pebble games ⋮ $\aleph_1$ and the modal $\mu$-calculus ⋮ Descriptive characterizations of computational complexity ⋮ A progression semantics for first-order logic programs ⋮ A Ramseyian theorem on products of trees ⋮ Barwise: Infinitary Logic and Admissible Sets ⋮ The role of the Omitting Types Theorem in infinitary logic

Cites Work

• A counter-example in ring theory and homological algebra
• Axioms for abstract model theory
• The Radical and Semi-Simplicity for Arbitrary Rings

This page was built for publication: Global inductive definability