Finiteness is not a \(\Sigma_0\)-property

DOI10.1007/BF02757499zbMath0307.02052OpenAlexW2070363892MaRDI QIDQ1217707

Haim Gaifman

Publication date: 1975

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02757499

Mathematics Subject Classification ID

Model theory (03C99) Set theory (03E99)

Cites Work

• Unnamed Item
• Minimal models of theories of one function symbol
• Every two elementarily equivalent models have isomorphic ultrapowers
• A hierarchy of formulas in set theory

This page was built for publication: Finiteness is not a \(\Sigma_0\)-property