scientific article

zbMath0302.02018MaRDI QIDQ4055632

Solomon Feferman

Publication date: 1972

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory (03C99) Other infinitary logic (03C75)

Related Items (10)

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

This page was built for publication: