Reducing ω-model reflection to iterated syntactic reflection
From MaRDI portal
Publication:6038474
DOI10.1142/s0219061322500015arXiv2103.12147MaRDI QIDQ6038474
No author found.
Publication date: 2 May 2023
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2103.12147
03-XX: Mathematical logic and foundations