Recursive logic frames

DOI10.1002/malq.200410058zbMath1093.03024arXivmath/0405016OpenAlexW2123055973MaRDI QIDQ5469107

Jouko Väänänen, Saharon Shelah

Publication date: 16 May 2006

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0405016

zbMATH Keywords

identitiesGeneralized quantifierscompact logics

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Set-theoretic model theory (03C55) Abstract model theory (03C95)

Related Items (2)

HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM ⋮ Model theory of the regularity and reflection schemes

Cites Work

• Unnamed Item

This page was built for publication: Recursive logic frames