Global inductive definability

DOI10.2307/2273529MaRDI QIDQ4177549zbMATH OpenOpenAlexFDO

Authors 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

Back-And-ForthClosure OrdinalsFinitely Generated SubstructuresInductive DefinabilityInfinitary Logics On Admissible SetsJacobson RadicalsKarp-Scott AnalysisMorley RankMorley-Shelah Ranks Of FormulasNilpotence IndicesNoetherian RingsOmitting TypesPairing FunctionsTwo-Sorted StructuresUltra-ProductsVerifiability Relations

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(9)

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

This page was built for publication: Global inductive definability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4177549)