scientific article

zbMath0439.03010MaRDI QIDQ3880813

Solomon Feferman

Publication date: 1979

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

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Logic on admissible sets (03C70)

Related Items

Fixed points in Peano arithmetic with ordinals, Operational set theory and small large cardinals, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory, The Operational Penumbra: Some Ontological Aspects, … and so on: Schütte on Naming Ordinals, Generalizing classical and effective model theory in theories of operations and classes