scientific article; zbMATH DE number 3230240
From MaRDI portal
Publication:5518351
zbMath0143.01001MaRDI QIDQ5518351
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
N-process mutual exclusion with bounded waiting by 4. log//2N-valued shared variable ⋮ Unnamed Item ⋮ The forcing companions of number theories ⋮ Sub-arithmetical ultrapowers: A survey ⋮ The Shoenfield absoluteness lemma ⋮ Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
This page was built for publication: