scientific article; zbMATH DE number 3941517

MaRDI QIDQ3714063zbMATH OpenFDO

Authors Joël Combase

Publication date 1984

zbMATH Keywords

classes of modulescombinatorial set-theoretic principlescompleteness theoremfinitely determined modelsintroduction to stationary logic

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• Some remarks on equivalence in infinitary and stationary logic
• Stationary logic and its friends. II
• Stationary logic and its friends. I
• Automorphism properties of stationary logic
• The Hanf number of stationary logic

Cited in

(10)

• Model constructions in stationary logic. II: Definable ultrapowers
• A cut elimination theorem for stationary logic
• Stationary logic and its friends. I
• Stationary logic and its friends. II
• \(\text{PA} (aa)\)
• Classification theory through stationary logic
• Strong downward Löwenheim-Skolem theorems for stationary logics. I
• scientific article; zbMATH DE number 4137744 (Why is no real title available?)
• Automorphism properties of stationary logic
• Stationary sets and infinitary logic

This page was built for publication:

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