Finite Model Theory

DOI10.1007/3-540-28788-4zbMath1081.03026OpenAlexW4252933876MaRDI QIDQ5708365

Jörg Flum, Heinz-Dieter Ebbinghaus

Publication date: 17 November 2005

Published in: Springer Monographs in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-28788-4

zbMATH Keywords

Turing machinesoptimization problemsfixed point logicfinite automatafinite model theorycomplexity classesoracles0-1-lawsLindström quantifierslogic for PTIMElogics with fixed-point operators

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (21)

PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT ⋮ Dependence logic with a majority quantifier ⋮ RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES ⋮ Model theory of monadic predicate logic with the infinity quantifier ⋮ Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures ⋮ Modal definability: two commuting equivalence relations ⋮ An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers ⋮ On Failure of 0-1 Laws ⋮ An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions ⋮ ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES" ⋮ Unnamed Item ⋮ Yes, the “missing axiom” of matroid theory is lost forever ⋮ ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES ⋮ Complexity and expressive power of second‐order extended Horn logic ⋮ Henkin quantifiers and the definability of truth ⋮ On the Weisfeiler-Leman dimension of fractional packing ⋮ The middle ground-ancestral logic ⋮ Towards incorporating background theories into quantifier elimination ⋮ On Borel complexity of the isomorphism problems for graph related classes of Lie algebras and finite p-groups ⋮ Approximate databases: a support tool for approximate reasoning ⋮ Characterizability in Horn Belief Revision

This page was built for publication: Finite Model Theory