On Skolem Ultrapowers and Their Non‐Standard Variant

DOI10.1002/malq.19800261404zbMath0436.03023OpenAlexW2078953186MaRDI QIDQ3875906

Henryk Kotlarski

Publication date: 1980

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19800261404

zbMATH Keywords

axiom of constructibilitysatisfaction classsatisfaction relationsaturatednessnon-standard Skolem ultrapowers

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Ultraproducts and related constructions (03C20)

Related Items

On cofinal extensions of models of arithmetic