Logic year 1979--80, The University of Connecticut, USA
From MaRDI portal
Publication:1150356
zbMath0456.00006MaRDI QIDQ1150356
No author found.
Publication date: 1981
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (8)
Saturated models of intuitionistic theories ⋮ A CHARACTERIZATION OF THE STRONGLY -REPRESENTABLE MANY-ONE DEGREES ⋮ How enumeration reductibility yields extended Harrington non-splitting ⋮ THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES ⋮ Power-like models of set theory ⋮ On the definable ideal generated by nonbounding c.e. degrees ⋮ A certain class of models of Peano arithmetic ⋮ Splitting theorems in recursion theory
This page was built for publication: Logic year 1979--80, The University of Connecticut, USA
