Quantifiers and congruence closure

DOI10.1023/A:1005190726000zbMath0946.03040OpenAlexW1523027922MaRDI QIDQ1300006

Jörg Flum, Matthias Schiehlen, Jouko Väänänen

Publication date: 25 October 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005190726000

zbMATH Keywords

generalized quantifierbounded quantifiersHärtig quantifiercongruence closure propertyexpressive power of quantifiers on finite structuresmeager quantifiersmonadic quantifiersrelativizing quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13)

Related Items (1)

An arithmetical view to first-order logic

This page was built for publication: Quantifiers and congruence closure