Downward transfer of satisfiability for sentences of L1,1

DOI10.2307/2273679zbMath0537.03025OpenAlexW2162287948MaRDI QIDQ3322083

Jerome I. Malitz

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273679

zbMATH Keywords

generalized quantifiersMagidor-Malitz quantifierstransfer theorem for satisfiability

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Related Items (1)

Monadic partition logics and finite automata

Cites Work

• Logic with the quantifier “there exist uncountably many”

This page was built for publication: Downward transfer of satisfiability for sentences of L^1,1