scientific article
From MaRDI portal
Publication:3289861
zbMath0105.00901MaRDI QIDQ3289861
Publication date: 1957
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Recursive categoricity and recursive stability, Decision methods in the theory of ordinals, Algorithmic uses of the Feferman-Vaught theorem, Ehrenfeucht games and ordinal addition, Finiteness is not a \(\Sigma_0\)-property, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory, Limit Ultrapowers, An Ehrenfeucht-Fraïssé game for Lω1ω
