Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers

DOI10.1305/ndjfl/1093634407zbMath0760.03011OpenAlexW2054856656MaRDI QIDQ1203772

George C. Nelson

Publication date: 22 February 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634407

zbMATH Keywords

recursively saturatedcountable nonstandard modelsrecursive ultrapowers

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Nonstandard models (03H99)

Related Items (1)

ON COHESIVE POWERS OF LINEAR ORDERS

This page was built for publication: Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers