Δ-extension and Hanf-numbers

DOI10.4064/FM-115-1-43-55zbMATH Open0522.03027OpenAlexW1000055408MaRDI QIDQ3671952FDOQ3671952

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)