Saturated models in institutions
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1617310 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 4037182 (Why is no real title available?)
- scientific article; zbMATH DE number 3639689 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1329711 (Why is no real title available?)
- scientific article; zbMATH DE number 1998330 (Why is no real title available?)
- scientific article; zbMATH DE number 2087420 (Why is no real title available?)
- scientific article; zbMATH DE number 1418819 (Why is no real title available?)
- scientific article; zbMATH DE number 2196612 (Why is no real title available?)
- A categorical study on the finiteness of specifications
- Abstract Beth definability in institutions
- An Institution-independent Generalization of Tarski's Elementary Chain Theorem
- An institution of modal logics for coalgebras
- An institution-independent proof of Craig interpolation theorem
- An institution-independent proof of the Robinson consistency theorem
- Birkhoff completeness in institutions
- CASL: the Common Algebraic Specification Language.
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Completeness by forcing
- Conditional rewriting logic as a unified model of concurrency
- Distributive-lattice semantics of sequent calculi with structural rules
- Elementary Diagrams in Institutions
- Every two elementarily equivalent models have isomorphic ultrapowers
- Homogeneous Universal Models.
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Jewels of Institution-Independent Model Theory
- Mirror, mirror in my hand: a duality between specifications and models of process behaviour
- On the existence of free models in abstract algebraic institutions
- Proof Systems for Institutional Logic
- Quasi-varieties in abstract algebraic institutions
- Recent Trends in Algebraic Development Techniques
- Regular and Strongly Finitary Structures Over Strongly Algebroidal Categories
- Relating CASL with other specification languages: the institution level.
- Specifications in an arbitrary institution
- Towards heterogeneous specifications
Cited in
(18)- Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
- Properties of saturation in monotonic neighbourhood models and some applications
- Criteria for exact saturation and singular compactness
- Saturated models of first-order many-valued logics
- Partialising institutions
- Functorial semantics of first-order views
- Saturated models
- Existence of saturated structures
- scientific article; zbMATH DE number 3999917 (Why is no real title available?)
- A categorical study on the finiteness of specifications
- Ultraproducts and possible worlds semantics in institutions
- scientific article; zbMATH DE number 3902636 (Why is no real title available?)
- Saturated models of universal theories
- Institution-independent model theory
- Saturated models of intuitionistic theories
- scientific article; zbMATH DE number 732049 (Why is no real title available?)
- A note on saturated models for many-valued logics
- Atomic saturation of reduced powers
This page was built for publication: Saturated models in institutions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q992038)
