Expressibility of properties of relations

, &
Journal of Symbolic Logic 60 (3):970-991 (1995)
  Copy   BIBTEX

Abstract

We investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations

Categories

Keywords

Reprint years

DOI

10.2307/2275768

Links

PhilArchive



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

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

Mechanisms, Causes, and the Layered Model of the World.Stuart Glennan - 2010 - Philosophy and Phenomenological Research 81 (2):362-381.
Names for relations.Peter Van Inwagen - 2006 - Philosophical Perspectives 20 (1):453–477.
Truthmakers (are indexed combinations).Wolfgang Freitag - 2008 - Studia Philosophica Estonica 1 (2):228-248.
Quantum entanglement and a metaphysics of relations.Michael Esfeld - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (4):601-617.
Intrinsicness, Duplication and Relations to Times.Neil McKinnon - unknown
The Bundle Theory, the Principle of Unity for Elementary Particulars, and Some Issues.Andrew Newman - unknown
Critical Study of Robin Lepoidevin (ed.), Questions of Time and Tense.Ned Markosian - 2001 - Noûs 35 (4):616-629.
Theories of properties, relations, and propositions.George Bealer - 1979 - Journal of Philosophy 76 (11):634-648.
Notions of locality and their logical characterizations over finite models.Lauri Hella, Leonid Libkin & Juha Nurmonen - 1999 - Journal of Symbolic Logic 64 (4):1751-1773.
Complex predicates and logics for properties and relations.Chris Swoyer - 1998 - Journal of Philosophical Logic 27 (3):295-325.

Analytics

Added to PP
2009-01-28

Downloads
257 (#75,836)

6 months
26 (#109,390)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Binary Relations and Permutation Groups.Hajnal Andréka & Ivo Düntsch - 1995 - Mathematical Logic Quarterly 41 (2):197-216.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.
Representations for Small Relation Algebras.Hajnal Andréka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4):550-562.
Binary Relations and Permutation Groups.Hajnal Andréka & Ivo Düntsch - 1995 - Mathematical Logic Quarterly 41 (2):197-216.

Add more references