Nonrecursive Relations Among the Isols

DOI10.2307/2039067zbMath0259.02035OpenAlexW4232353292MaRDI QIDQ5675709

Erik Ellentuck

Publication date: 1972

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

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50) Other infinitary logic (03C75)

Cites Work

• Extensions to isols
• Diophantine correct non-standard models in the isols
• Universal isols
• Nonrecursive combinatorial functions

This page was built for publication: Nonrecursive Relations Among the Isols