Effective forcing versus proper forcing

DOI10.1016/0168-0072(95)00052-6zbMath0857.03025OpenAlexW2080597147MaRDI QIDQ1923578

Gerald E. Sacks

Publication date: 11 March 1997

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(95)00052-6

zbMATH Keywords

\(E\)-closure\(E\)-recursioneffective forcinglocally proper forcing

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Higher-type and set recursion theory (03D65)

Cites Work

• The limits of E-recursive enumerability
• The K-Section of a Type n Object
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Effective forcing versus proper forcing