Persistent and invariant formulas relative to theories of higher order

DOI10.1090/S0002-9904-1966-11507-0zbMath0234.02038MaRDI QIDQ5642556

Solomon Feferman, Georg Kreisel

Publication date: 1966

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85)

Related Items

PREDICATIVISM AS A FORM OF POTENTIALISM ⋮ A survey of proof theory ⋮ End-extensions preserving power set ⋮ Implicit definability and infinitary languages ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ Infinitary logic and admissible sets ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ Logics of Finite Hankel Rank ⋮ On the model theory of denumerably long formulas with finite strings of quantifiers ⋮ Unnamed Item ⋮ Infinitary formulas preserved under unions of models ⋮ Unnamed Item ⋮ THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES ⋮ Barwise: Infinitary Logic and Admissible Sets ⋮ Expressivity of second order propositional modal logic ⋮ Robinson forcing is not absolute ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Predicativity and Feferman ⋮ Hybrid logic meets IF modal logic ⋮ Predicative provability in set theory

Cites Work

• Introduction to model theory and to the metamathematics of algebra
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Metarecursive sets
• Unnamed Item
• Unnamed Item