Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic

DOI10.1002/malq.19970430203zbMath0876.03020OpenAlexW2065195009MaRDI QIDQ4336698

Iain A. Stewart

Publication date: 5 November 1997

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19970430203

zbMATH Keywords

zero-one lawsgeneralized quantifiersdescriptive complexity theorypebble gamesEhrenfeucht-Fraissé gamesbounded-variable infinitary logic

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Other infinitary logic (03C75)

Related Items

Generalized hex and logical characterizations of polynomial space, Program schemes, arrays, Lindström quantifiers and zero-one laws

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item