Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic
From MaRDI portal
Publication:3898483
DOI10.2307/2042433zbMath0452.03030MaRDI QIDQ3898483
Publication date: 1980
Full work available at URL: https://doi.org/10.2307/2042433
Related Items
Cites Work