國立虎尾科技大學 |

Language: English

Back

Institution-independent model theory /

Diaconescu, R�azvan.

Institution-independent model theory /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Institution-independent model theory // R�azvan Diaconescu.
Author:	Diaconescu, R�azvan.
Published:	Basel ;Birkhauser, : c2008.,
Description:	xi, 376 p. :ill. ; : 24 cm.;
Series:	Studies in universal logic
Subject:	Model theory. -
Online resource:	http://www.loc.gov/catdir/enhancements/fy0907/2008924875-t.html
Online resource:	http://www.loc.gov/catdir/enhancements/fy0907/2008924875-d.html
ISBN:	3764387076

Institution-independent model theory /
Diaconescu, R�azvan.

Institution-independent model theory /R�azvan Diaconescu. - Basel ;Birkhauser,c2008. - xi, 376 p. :ill. ;24 cm. - Studies in universal logic.

Includes bibliographical references (p. [355]-367) and index.

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.

ISBN: 3764387076

LCCN: 2008924875Subjects--Topical Terms:

633609
Model theory.

LC Class. No.: QA9.7 / .D53 2008

Dewey Class. No.: 511.3/4

Institution-independent model theory /
LDR:01434cam 22002777a 4500 001 609001
005 20090403071408.0
008 090917s2008 sz a b 001 0 eng d
010 $a 2008924875
020 $a 3764387076
020 $a 9783764387075
035 $a (OCoLC)ocn191759987
040 $a YDXCP $c YDXCP $d BAKER $d BWX $d DLC $d NFU $d OCLCQ $d OHX
042 $a lccopycat
050 0 0 $a QA9.7 $b .D53 2008
082 0 0 $2 22 $a 511.3/4
100 1 $a Diaconescu, R�azvan. $3 633608
245 1 0 $a Institution-independent model theory / $c R�azvan Diaconescu.
260 $a Basel ; $a Boston : $c c2008. $b Birkhauser,
300 $a xi, 376 p. : $b ill. ; $c 24 cm.
440 0 $a Studies in universal logic
504 $a Includes bibliographical references (p. [355]-367) and index.
505 0 $a 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.
650 0 $a Model theory. $3 633609
650 0 $a Logic, Symbolic and mathematical. $3 527823
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/enhancements/fy0907/2008924875-t.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0907/2008924875-d.html
906 $a 7 $b cbc $c copycat $d 2 $e epcn $f 20 $g y-gencatlg
925 0 $a acquire $b 2 shelf copies $x policy default
955 $a jp43 2008-08-22 z-processor $a pc21 2008-03-13 $a rd11 2009-02-03 $e jp43 2008-08-22 $i jp43 2008-08-22 to Dewey