Some Properties of the Family of Expansions to Models of A/Δ + Σ‐AC

DOI10.1002/MALQ.19910371703zbMath0746.03035OpenAlexW2139473671MaRDI QIDQ3989276

Roman Murawski

Publication date: 28 June 1992

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

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

zbMATH Keywords

PAexpandabilitysatisfaction classrecursively saturated model of arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Model theory of denumerable and separable structures (03C15)

This page was built for publication: Some Properties of the Family of Expansions to Models of A/Δ + Σ‐AC