scientific article
From MaRDI portal
Publication:4055632
zbMath0302.02018MaRDI QIDQ4055632
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Recursive categoricity and recursive stability, Elementary equivalences and accessible functors, Algorithmic uses of the Feferman-Vaught theorem, Functorial Fast-Growing Hierarchies, From noncommutative diagrams to anti-elementary classes, Elementary properties of the Boolean hull and reduced quotient functors, An application of set theory to model theory, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory, Theory of proofs (arithmetic and analysis), Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
