Δ-extension and Hanf-numbers

DOI10.4064/fm-115-1-43-55zbMath0522.03027OpenAlexW1000055408MaRDI QIDQ3671952

Jouko Väänänen

Publication date: 1983

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211329

zbMATH Keywords

abstract logicprojective classHanf numberdelta-definable classHaertig-quantifierimplicit definability in extensions of elementary logicinterpolation-propertiesLoewenheim-Skolem property

Mathematics Subject Classification ID

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)

LOGICALITY AND MODEL CLASSES

This page was built for publication: Δ-extension and Hanf-numbers