Torre models in the isols

DOI10.2307/2275256MaRDI QIDQ4292599zbMATH OpenOpenAlexFDO

Authors 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

strongly torre isoltame isoltame modeltorre model

Mathematics Subject Classification ID

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

Recommendations

• On hyper‐torre isols
• scientific article; zbMATH DE number 4031665
• Some Properties of ∀∃ Models in the Isols
• On hyper-torre isols
• A Fine Structure in the Theory of Isols

Cites work

• Diagonal Methods in the Theory of Isols
• Diophantine correct non-standard models in the isols
• Extensions to isols
• Extensions to Regressive Isols.
• scientific article; zbMATH DE number 3760150 (Why is no real title available?)
• Models of arithmetic and recursive functions
• On recursive functions and regressive isols
• On recursive sets and regressive isols
• On solutions in the regressive isols
• Recursive Functions and Regressive Isols.

Cited in

(5)

• scientific article; zbMATH DE number 4031665 (Why is no real title available?)
• On the existence of tori in Asada's two-regional model
• Existentially Incomplete Tame Models and a Conjecture of Ellentuck
• On the Minimality of Tame Models in the Isols
• On hyper‐torre isols

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4292599)