A local normal form theorem for infinitary logic with unary quantifiers

DOI10.1002/malq.200410013zbMath1060.03060OpenAlexW2159888875MaRDI QIDQ4666943

H. Jerome Keisler, Wafik Boulos Lotfallah

Publication date: 7 April 2005

Published in: MLQ (Search for Journal in Brave)

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

zbMATH Keywords

normal forminfinitary logiclocalityEhrenfeucht-Fraïssé gameunary quantifier

Mathematics Subject Classification ID

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

Related Items (2)

First-order and counting theories ofω-automatic structures ⋮ Game-based notions of locality over finite models

Cites Work

• Shrinking games and local formulas
• Unnamed Item
• Unnamed Item

This page was built for publication: A local normal form theorem for infinitary logic with unary quantifiers