Sound, totally sound, and unsound recursive equivalence types

DOI10.1016/0168-0072(86)90060-6MaRDI QIDQ581397zbMATH OpenOpenAlexFDO

Authors Rodney G. Downey

Publication date 1986

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(86)90060-6

zbMATH Keywords

isolsr.e. degreetotally soundunsound

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3896923
• scientific article; zbMATH DE number 4019044
• Ideals in isols containing a set of regressive isols
• Realizability and recursive set theory
• Unsound ordinals

Cites work

• scientific article; zbMATH DE number 3821715 (Why is no real title available?)
• scientific article; zbMATH DE number 3713669 (Why is no real title available?)
• scientific article; zbMATH DE number 3739519 (Why is no real title available?)
• scientific article; zbMATH DE number 3443640 (Why is no real title available?)
• scientific article; zbMATH DE number 3233632 (Why is no real title available?)
• A NOTE ON DECOMPOSITIONS OF RECURSIVELY ENUMERABLE SUBSPACES
• Automorphisms of supermaximal subspaces
• Co-immune subspaces and complementation inV_∞
• Decidable subspaces and recursively enumerable subspaces
• Intersections of algebraically closed fields
• Maximal theories
• ON A QUESTION OF A. RETZLAFF
• Recursive Equivalence
• The universal complementation property

Cited in

(2)

• Infinite products of recursive equivalence types
• Recursive properties of relations on models

This page was built for publication: Sound, totally sound, and unsound recursive equivalence types

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