scientific article; zbMATH DE number 1302492

MaRDI QIDQ4247808zbMATH OpenFDO

Authors Jörg Flum

Publication date 23 November 1999

zbMATH Keywords

countable well-orderingsdownward Löwenheim-Skolem theoremexpressive powerheight of elements in reduced abelian groupsleast fixed-point logicmonadic second-order logicscattered orderingstransitive closure logicunbounded \(\omega\)-trees

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15)

Recommendations

• Fixed Point Logics
• The expressive power of fixed-point logic with counting
• scientific article; zbMATH DE number 873906

Cited in

(11)

• Guarded fixed point logics and the monadic theory of countable trees.
• On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
• An Infinitary Model of Linear Logic
• scientific article; zbMATH DE number 1163986 (Why is no real title available?)
• Fixed Point Logics
• On equivalence of infinitary formulas under the stable model semantics
• scientific article; zbMATH DE number 2182490 (Why is no real title available?)
• scientific article; zbMATH DE number 203220 (Why is no real title available?)
• Mathematical Foundations of Computer Science 2005
• Tameness in least fixed-point logic and McColm's conjecture
• Iterated elementary embeddings and the model theory of 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 Q4247808)