Răzvan Diaconescu, Institution-independent Model Theory

Studia Logica 102 (1):225-229 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s11225-014-9541-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An institution-independent proof of Craig interpolation theorem.Răzvan Diaconescu - 2004 - Studia Logica 77 (1):59 - 79.
An Institution-independent Proof of the Beth Definability Theorem.M. Aiguier & F. Barbier - 2007 - Studia Logica 85 (3):333-359.
In memory of Andrzej Mostowski.Helena Rasiowa & Wiktor Marek - 1977 - Studia Logica 36 (1-2):1 - 8.
Bibliography of Andrzej Mostowski's works.W. Marek - 1977 - Studia Logica 36:3.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Torg Flum - 1997 - Studia Logica 58 (2):332-335.
Model Theory of Fields.D. Marker, M. Messmer & A. Pillay - 2001 - Studia Logica 67 (1):123-124.
Institution-Independent Model Theory.Razvan Diaconescu - 2008 - Basel, Switzerland: Birkhäuser.
Model Theory of Groups and Automorphism Groups.D. M. Evans - 2001 - Studia Logica 67 (1):141-144.

Analytics

Added to PP
2014-01-30

Downloads
20 (#1,038,527)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On quasi-varieties of multiple valued logic models.Răzvan Diaconescu - 2011 - Mathematical Logic Quarterly 57 (2):194-203.

Add more citations

References found in this work

Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.

Add more references