Forcing and Consistency Results for Recursion in3E Together with Selection Over ℵ1

DOI10.1002/MALQ.19860320703zbMath0627.03030OpenAlexW2062207309MaRDI QIDQ3030816

M. R. R. Hoole

Publication date: 1986

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19860320703

zbMATH Keywords

ZFCE-recursionrelative consistency statements

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75)

This page was built for publication: Forcing and Consistency Results for Recursion in3E Together with Selection Over ℵ1