Torre models in the isols

DOI10.2307/2275256zbMath0799.03050OpenAlexW2105032685MaRDI QIDQ4292599

Joseph Barback

Publication date: 24 November 1994

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

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

zbMATH Keywords

tame modelstrongly torre isoltame isoltorre model

Mathematics Subject Classification ID

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

Related Items (1)

Existentially Incomplete Tame Models and a Conjecture of Ellentuck

Cites Work

• Unnamed Item
• Extensions to isols
• Models of arithmetic and recursive functions
• On recursive functions and regressive isols
• On recursive sets and regressive isols
• Diophantine correct non-standard models in the isols
• On solutions in the regressive isols
• Diagonal Methods in the Theory of Isols
• Recursive Functions and Regressive Isols.
• Extensions to Regressive Isols.

This page was built for publication: Torre models in the isols