Δ-extension and Hanf-numbers
From MaRDI portal
Publication:3671952
DOI10.4064/fm-115-1-43-55zbMath0522.03027OpenAlexW1000055408MaRDI QIDQ3671952
Publication date: 1983
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211329
abstract logicprojective classHanf numberdelta-definable classHaertig-quantifierimplicit definability in extensions of elementary logicinterpolation-propertiesLoewenheim-Skolem property
Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Set-theoretic model theory (03C55) Abstract model theory (03C95)
Related Items (1)
This page was built for publication: Δ-extension and Hanf-numbers