scientific article; zbMATH DE number 3472038

MaRDI QIDQ4055632zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1972

Mathematics Subject Classification ID

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

Cited in

(11)

• Recursive categoricity and recursive stability
• An application of set theory to model theory
• Theory of proofs (arithmetic and analysis)
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
• Elementary equivalences and accessible functors
• Elementary properties of the Boolean hull and reduced quotient functors
• From noncommutative diagrams to anti-elementary classes
• From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
• Algorithmic uses of the Feferman-Vaught theorem
• Functorial Fast-Growing Hierarchies
• The strategic balance of games in logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4055632)