Saturated models in institutions
From MaRDI portal
Publication:992038
DOI10.1007/S00153-010-0193-8zbMATH Open1208.03040OpenAlexW2141883919MaRDI QIDQ992038FDOQ992038
Authors: Răzvan Diaconescu, Marius Petria 
Publication date: 8 September 2010
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-010-0193-8
Recommendations
Models with special properties (saturated, rigid, etc.) (03C50) Abstract model theory (03C95) Categorical semantics of formal languages (18C50)
Cites Work
- Title not available (Why is that?)
- Institution-independent model theory
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Every two elementarily equivalent models have isomorphic ultrapowers
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Quasi-varieties in abstract algebraic institutions
- An Institution-independent Generalization of Tarski's Elementary Chain Theorem
- Elementary Diagrams in Institutions
- Conditional rewriting logic as a unified model of concurrency
- Specifications in an arbitrary institution
- Homogeneous Universal Models.
- On the existence of free models in abstract algebraic institutions
- CASL: the Common Algebraic Specification Language.
- Title not available (Why is that?)
- Title not available (Why is that?)
- An institution-independent proof of Craig interpolation theorem
- Abstract Beth definability in institutions
- Title not available (Why is that?)
- Title not available (Why is that?)
- An institution-independent proof of the Robinson consistency theorem
- Towards heterogeneous specifications
- Relating CASL with other specification languages: the institution level.
- Proof Systems for Institutional Logic
- Birkhoff completeness in institutions
- Title not available (Why is that?)
- Mirror, mirror in my hand: a duality between specifications and models of process behaviour
- Title not available (Why is that?)
- A categorical study on the finiteness of specifications
- Distributive-lattice semantics of sequent calculi with structural rules
- An institution of modal logics for coalgebras
- Completeness by forcing
- Regular and Strongly Finitary Structures Over Strongly Algebroidal Categories
- Title not available (Why is that?)
- Recent Trends in Algebraic Development Techniques
- Jewels of Institution-Independent Model Theory
Cited In (18)
- Title not available (Why is that?)
- A note on saturated models for many-valued logics
- Existence of saturated structures
- A categorical study on the finiteness of specifications
- Atomic saturation of reduced powers
- Partialising institutions
- Criteria for exact saturation and singular compactness
- Saturated models of universal theories
- Saturated models of intuitionistic theories
- Institution-independent model theory
- Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
- Saturated models
- Title not available (Why is that?)
- Functorial semantics of first-order views
- Properties of saturation in monotonic neighbourhood models and some applications
- Ultraproducts and possible worlds semantics in institutions
- Saturated models of first-order many-valued logics
- Title not available (Why is that?)
Uses Software
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)
