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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

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 (eds.), Perspectives on Universal Logic. 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.
Paradoxicality of Institution, De-Institutionalization and the Counter-Institutional: A Case Study in Classical Chinese Chan Buddhist Thought.Wang Youru - 2012 - Dao: A Journal of Comparative Philosophy 11 (1):21-37.
How to model an institution.John W. Mohr & Harrison C. White - 2008 - Theory and Society 37 (5):485-512.
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.
Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups.Larsen Louder, Chloé Perin & Rizos Sklinos - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):521-539.

Analytics

Added to PP
2014-01-30

Downloads
11 (#1,130,421)

6 months
2 (#1,192,610)

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