An institution-independent proof of the Beth definability theorem
From MaRDI portal
Publication:995670
DOI10.1007/s11225-007-9043-zzbMath1134.03043OpenAlexW2079150286MaRDI QIDQ995670
Publication date: 10 September 2007
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-007-9043-z
Related Items
Functorial semantics of first-order views, Parameterisation for abstract structured specifications, Some general results about proof normalization, Foundations for structuring behavioural specifications, Preservation in many-valued truth institutions, Partialising institutions, An axiomatic approach to structuring specifications, Grothendieck inclusion systems, On the algebra of structured specifications, Towards a functional approach to modular ontologies using institutions, Generalised graded interpolation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the Modularization Theorem for logical specifications
- Generalized interpolation in CASL
- An institution-independent proof of the Robinson consistency theorem
- On the existence of free models in abstract algebraic institutions
- Quasi-varieties in abstract algebraic institutions
- On a generalized modularization theorem
- On local modularity and interpolation in entailment systems.
- Logical systems for structured specifications.
- An institution-independent proof of Craig interpolation theorem
- Interpolation in Grothendieck institutions
- Herbrand theorems in arbitrary institutions
- Failures of the interpolation lemma in quantified modal logic
- Axioms for abstract model theory
- Fibring of logics as a categorial construction
- Institutions: abstract model theory for specification and programming
- Interpolation and compactness in categories of pre-institutions