scientific article

zbMath0608.68078MaRDI QIDQ3747761

Phokion G. Kolaitis

Publication date: 1985

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

zbMATH Keywords

first-order logicinductive logiczero-one lawfinite graphsfinite relational structuresasymptotic probabilities of first-order propertiesfirst-order almost sure theoryleast fixed point operator for positive formulas

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Probability and inductive logic (03B48) Specification and verification (program logics, model checking, etc.) (68Q60) Complexity of computation (including implicit computational complexity) (03D15) Zero-one laws (60F20) Model theory of finite structures (03C13) Information storage and retrieval of data (68P20) Other classical first-order model theory (03C68)

Related Items (4)

Generalized quantifiers and pebble games on finite structures ⋮ How to define a linear order on finite models ⋮ When is arithmetic possible? ⋮ Infinitary logics and 0-1 laws

This page was built for publication: