Stationary logic of finitely determinate structures

DOI10.1016/0003-4843(79)90009-3MaRDI QIDQ3893909zbMATH OpenOpenAlexFDO

Authors Paul C. Eklof, Alan H. Mekler

Publication date 1979

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(79)90009-3

zbMATH Keywords

algebraic systemselementary chainselimination of quantifiers for modulesfinitely determinate structuresstationary logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Other infinitary logic (03C75) Logic with extra quantifiers and operators (03C80) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Abelian groups (20K99)

Cited in

(11)

• Stationary logic of ordinals
• Remarks in abstract model theory
• Obituary: Alan Mekler
• \(\text{PA} (aa)\)
• Classification theory through stationary logic
• Undecidable Theories in Stationary Logic
• Set theory with a filter quantifier
• Stationary Logic and Ordinals
• Some contributions to definability theory for languages with generalized quantifiers
• Automorphism properties of stationary logic
• Elementary pairs of models

This page was built for publication: Stationary logic of finitely determinate structures

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