Omitting uncountable types and extensions of Elementary logic

DOI10.1111/J.1755-2567.1978.TB00174.XzbMath0437.03016OpenAlexW2067980579MaRDI QIDQ3877662

No author found.

Publication date: 1978

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1978.tb00174.x

zbMATH Keywords

generalized quantifierabstract logicomitting typesinfinite structures

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) Abstract model theory (03C95)

Related Items (4)

A Lindström theorem for intuitionistic first-order logic ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ Omitting uncountable types and the strength of \([0,1\)-valued logics] ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

This page was built for publication: Omitting uncountable types and extensions of Elementary logic