Δ-extension and Hanf-numbers

DOI10.4064/FM-115-1-43-55MaRDI QIDQ3671952zbMATHOpenAlexFDO

Authors 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) Abstract model theory (03C95) Set-theoretic model theory (03C55) Other infinitary logic (03C75) Interpolation, preservation, definability (03C40)

Cited in

(1)

• LOGICALITY AND MODEL CLASSES

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671952)