scientific article; zbMATH DE number 3259043
From MaRDI portal
Publication:5544276
zbMath0162.01601MaRDI QIDQ5544276
Publication date: 1968
Full work available at URL: http://www.numdam.org/item?id=CM_1968__20__29_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
PREDICATIVISM AS A FORM OF POTENTIALISM ⋮ Henkin and Hybrid Logic ⋮ Varieties of complex algebras ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ Logics of Finite Hankel Rank ⋮ POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND ⋮ From the weak to the strong existence property ⋮ Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion ⋮ Elimination of unbounded quantifiers for some poly-regular groups of infinite rank ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ Expressivity of second order propositional modal logic ⋮ Characterizing the interpretation of set theory in Martin-Löf type theory ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Predicativity and Feferman ⋮ The many faces of interpolation ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ Guards, bounds, and generalized semantics ⋮ Hybrid logic meets IF modal logic
Cites Work
- Properties preserved under homomorphism
- Introduction to model theory and to the metamathematics of algebra
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Model Theory for the Higher Order Predicate Calculus
- Systems of predicative analysis
- An interpolation theorem for denumerably long formulas
- Predicative provability in set theory
- Implicit definability and infinitary languages
- Infinitary logic and admissible sets
- Persistent and invariant formulas relative to theories of higher order
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
