scientific article; zbMATH DE number 3259043
From MaRDI portal
Publication:5544276
Cites work
- An interpolation theorem for denumerably long formulas
- scientific article; zbMATH DE number 3172709 (Why is no real title available?)
- scientific article; zbMATH DE number 3176053 (Why is no real title available?)
- scientific article; zbMATH DE number 3249766 (Why is no real title available?)
- scientific article; zbMATH DE number 3266609 (Why is no real title available?)
- scientific article; zbMATH DE number 3316033 (Why is no real title available?)
- scientific article; zbMATH DE number 3392414 (Why is no real title available?)
- scientific article; zbMATH DE number 3093421 (Why is no real title available?)
- Implicit definability and infinitary languages
- Infinitary logic and admissible sets
- Introduction to model theory and to the metamathematics of algebra
- Model Theory for the Higher Order Predicate Calculus
- Persistent and invariant formulas relative to theories of higher order
- Predicative provability in set theory
- Properties preserved under homomorphism
- Systems of predicative analysis
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
Cited in
(20)- The many faces of interpolation
- Harmonious logic: Craig's interpolation theorem and its descendants
- Hybrid logic meets IF modal logic
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
- Expressivity of second order propositional modal logic
- Characterizing the interpretation of set theory in Martin-Löf type theory
- Guards, bounds, and generalized semantics
- Varieties of complex algebras
- Logics of finite Hankel rank
- Which quantifiers are logical? A combined semantical and inferential criterion
- Henkin and hybrid logic
- From the weak to the strong existence property
- From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
- Predicativity and Feferman
- Peano Corto and Peano Basso: a study of local induction in the context of weak theories
- PREDICATIVISM AS A FORM OF POTENTIALISM
- Algorithmic uses of the Feferman-Vaught theorem
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
- Preservation theorems for Tarski's relation algebra
- Pure extensions, proof rules, and hybrid axiomatics
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 Q5544276)
