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

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.
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.
The Institution-Theoretic Scope of Logic Theorems.Răzvan Diaconescu, Till Mossakowski & Andrzej Tarlecki - 2014 - Logica Universalis 8 (3-4):393-406.
Institutions, Madhyamaka and universal model theory.Razvan Diaconescu - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite, Perspectives on Universal Logic. Milan, Italy: Polimetrica. pp. 41--65.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
What is a logic translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - Logica Universalis 3 (1):95-124.
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.
Review by Răzvan TATU.Tatu Razvan - 2008 - International Journal on Humanistic Ideology 1:203-205.
On quasi-varieties of multiple valued logic models.Răzvan Diaconescu - 2011 - Mathematical Logic Quarterly 57 (2):194-203.

Analytics

Added to PP
2014-01-30

Downloads
44 (#1,295,613)

6 months
12 (#963,916)

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

Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 2017 - Cambridge University Press.
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.

Add more references