A note on standard systems and ultrafilters

DOI10.2178/jsl/1230396749zbMath1161.03023arXiv0804.4078OpenAlexW3101633617MaRDI QIDQ3617363

Fredrik Engström

Publication date: 23 March 2009

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0804.4078

zbMATH Keywords

Scott setdefinable ultrafilterScott set problem

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (1)

Cut ideals of \(K_{4}\)-minor free graphs are generated by quadrics

Cites Work

• Ultrafilters and types on models of arithmetic
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on standard systems and ultrafilters