scientific article; zbMATH DE number 1302492

From MaRDI portal

Publication:4247808

Jump to:navigation, search

zbMath0926.03039MaRDI QIDQ4247808

Publication date: 23 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monadic second-order logic expressive power downward Löwenheim-Skolem theorem least fixed-point logic scattered orderings transitive closure logic countable well-orderings height of elements in reduced abelian groups unbounded \(\omega\)-trees

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15)

Related Items (1)

Guarded fixed point logics and the monadic theory of countable trees.

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4247808&oldid=18136348"