Saturated models in institutions

Saturated models in institutions

Cached

Download Links

[www.imar.ro]

by Răzvan Diaconescu , Marius Petria

Venue:

ARCHIVES FOR MATHEMATICAL LOGIC

BibTeX

@MISC{Diaconescu_saturatedmodels,
    author = {Răzvan Diaconescu and Marius Petria},
    title = { Saturated models in institutions},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

815	Categories for the Working Mathematician - Lane - 1971
439	Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1 - Meseguer - 1992
425	Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992
396	Model Theory - Chang - 1973
379	Introduction to higher order categorical logic - Lambek, Scott - 1986
85	Towards an algebraic semantics for the object paradigm - Goguen, Diaconescu - 1994
83	Universal Algebra - Grätzer - 1979
79	P.: Logical support for modularisation - Diaconescu, Stefaneas - 1993
45	Bits and pieces of the theory of institution - Tarlecki
35	Institution-independent Model Theory. Birkhäuser - Diaconescu - 2008
30	Relating casl with other specification languages: the institution level - MOSSAKOWSKI
29	On the existence of free models in abstract algebraic institutions - Tarlecki - 1986
26	Extra theory morphisms for institutions: logical semantics for multiparadigm languages - Diaconescu - 1998
25	Towards heterogeneous specifications - Tarlecki - 2000
23	and Andrzej Tarlecki. Specifications in an arbitrary institution - Sannella - 1988
20	On the integration of the observability and reachability concepts - Bidoit, Hennicker - 2002
20	Quasi-varieties in abstract algebraic institutions - Tarlecki - 1986
18	An Institution-independent Proof of Craig Interpolation Theorem - Diaconescu
15	Elementary diagrams in institutions - Diaconescu
13	Locally presentable and accessible categories, volume 189 - Adámek, Rosick´y - 1994
13	Institution-independent ultraproducts - Diaconescu - 2003
12	Type class polymorphism in an institutional framework - Schröder, Mossakowski, et al. - 2004
11	Andrzej Tarlecki. CASL: The common algebraic specification language - Astesiano, Bidoit, et al.
11	Higher-order logic and theorem proving for structured specifications - BORZYSZKOWSKI - 1999
10	Homogeneous universal models - Morley, Vaught - 1962
9	Răzvan Diaconescu, and Andrzej Tarlecki. What is a logic - Mossakowski, Goguen - 2005
8	An institution-independent proof of Robinson consistency theorem - Găină, Popescu
7	Petria and Răzvan Diaconescu. Abstract Beth definability in institutions - Marius - 2006
7	Every two elementary equivalent models have isomorphic ultrapowers - Shelah - 1972
5	Proof systems for institutional logic - Diaconescu
5	The Institution of Multialgebras – a general framework for algebraic software development - Lamo - 2003
4	Birkhoff completeness in institutions - Codescu, Găină
4	An institution-independent generalization of Tarski’s Elementary Chain Theorem - Găină, Popescu
4	Regular and strongly finitary structures over strongly algebroidal categories - Matthiessen - 1978
3	Modal logics are coalgebraic - Cîrstea, Kurz, et al. - 2011
2	of institution-independent model theory, Algebra, meaning and computation (Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday - Jewels - 2006
2	mirror in my hand: A duality between specifications and models of process behaviour - Mirror - 1996
1	A categorical study on the finiteness of specifications - Diaconescu
1	Completeness by forcing - Găină, Petria
1	institution the (finitary) quasi-representable signature morphisms form a subcategory of Sig - any
1	Σi ��Σj )(i<j)∈(I,≤) be a directed diagram of quasi-representable signature morphisms and let ( Σi be its colimit. We fix arbitrary i ∈ \|I\| and show that θi is quasi-representable. hi Let M↾θ �� i Ni be a Σi-homomorphism for some Σ-model M. For each j ∈ I - Let
1	ϕ �� Σ ′ and Σ ′ (ϕ; χ)-expansion of h ′ ↾ϕ to a Σ ′′-model homomorphism M ′′ Σ ′′-model homomorphism from M ′′. χ ��Σ ′′ . Consider any Σ ′-model homomorphism M ′′ h ↾χ ′ h′′ θ i �� N ′ . Then the unique ��N ′′ constitutes the unique χ-expansion of h ′ t - Let