A local normal form theorem for infinitary logic with unary quantifiers
From MaRDI portal
Publication:4666943
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
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
This page was built for publication: A local normal form theorem for infinitary logic with unary quantifiers