On Some Applications of Games for Härtig Quantifier
From MaRDI portal
Publication:3773858
DOI10.1002/malq.19870330411zbMath0635.03031MaRDI QIDQ3773858
Publication date: 1987
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19870330411
monadic logic; back-and-forth; Caicedo's theory; Fräissé-Ehrenfeucht games; Härtig equicardinality quantifier; variants of the Feferman- Vaught preservation theorem
Related Items