Torre models in the isols
From MaRDI portal
Publication:4292599
DOI10.2307/2275256zbMath0799.03050OpenAlexW2105032685MaRDI QIDQ4292599
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
Related Items (1)
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