Institution-independent model theory Razvan Diaconescu

By:

Diaconescu, Razvan

Series: Studies in universal logicPublication details: Basel Boston Birkhèauser c2008Description: xi, 376 p ill 24 cmISBN:

3764387076
9783764387075

Subject(s):

DDC classification:

511.3/4

Contents:

Introduction -- Categories -- Institutions -- Theories and models -- Internal logic -- Model ultrapoducts -- Saturated models -- Preservation and axiomatizability -- Interpolation -- Definability -- Possible worlds -- Grothendieck institutions -- Institutions with proofs -- Specification -- Logic programming

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 35436 (Browse shelf(Opens below))	Available		0009762

Browsing IMAR shelves Close shelf browser (Hides shelf browser)

Previous							No cover image available	Next
Previous	II 35434 Non-Archimedean integration and applications	II 35434 Non-Archimedean integration and applications	II 35435 Membrane computing 8th international workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers	II 35436 Institution-independent model theory	II 35437 Perspectives in operator algebras and mathematical physics Conference proceedings Bucharest, August 10 - 17, 2005	II 35438 An introduction to the Heisenberg Group and the sub-Riemannian isoperimetric problem	II 35439 Submersii Riemanniene- deformari ale structurilor complexe generalizate Teza de doctorat	Next

Contine bibliografie

There are no comments on this title.

to post a comment.