Publication:5518351
From MaRDI portal
zbMath0143.01001MaRDI QIDQ5518351
Publication date: 1962
03-XX: Mathematical logic and foundations
Related Items
N-process mutual exclusion with bounded waiting by 4. log//2N-valued shared variable, The forcing companions of number theories, Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\), Sub-arithmetical ultrapowers: A survey, The Shoenfield absoluteness lemma, Unnamed Item