LA(Ⅎ)

DOI10.2307/2273698zbMath0413.03024OpenAlexW2168392062MaRDI QIDQ4200048

Kim B. Bruce, H. Jerome Keisler

Publication date: 1979

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

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

zbMATH Keywords

infinitary languageextra quantifierscompleteness and compactness theoremsinfinitary extension of first-order logiclogic on admissible sets

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) Logic on admissible sets (03C70)

Related Items (2)

Computable categoricity for pseudo-exponential fields of \(\aleph_1\) ⋮ Generalizing classical and effective model theory in theories of operations and classes

Cites Work

• Model-Theoretic Forcing in Logic With a Generalized Quantifier
• Logic with the quantifier “there exist uncountably many”

This page was built for publication: L_A(Ⅎ)