Hyper-torre isols

DOI10.2307/2273250zbMath0503.03020OpenAlexW2104752181MaRDI QIDQ3968917

Erik Ellentuck

Publication date: 1981

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

Full work available at URL: https://doi.org/10.2307/2273250

zbMATH Keywords

universal theoryisolDekker semiring

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50)

Related Items (2)

Eight problems about Nerode semirings (recursive ultrapowers) ⋮ Models of arithmetic in \(A\)-isols

Cites Work

• Extensions to isols
• Diophantine correct non-standard models in the isols
• Universal isols
• The minimum of two regressive isols

This page was built for publication: Hyper-torre isols