Characterizing downwards closed, strongly first-order, relativizable dependencies

Journal of Symbolic Logic 84 (3):1136-1167 (2019)
  Copy   BIBTEX


In Team Semantics, a dependency notion is strongly first order if every sentence of the logic obtained by adding the corresponding atoms to First-Order Logic is equivalent to some first-order sentence. In this work it is shown that all nontrivial dependency atoms that are strongly first order, downwards closed, and relativizable are definable in terms of constancy atoms.Additionally, it is shown that any strongly first-order dependency is safe for any family of downwards closed dependencies, in the sense that every sentence of the logic obtained by adding to First-Order Logic both the strongly first-order dependency and the downwards closed dependencies is equivalent to some sentence of the logic obtained by adding only the downwards closed dependencies.



    Upload a copy of this work     Papers currently archived: 79,912

External links

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

Through your library

Similar books and articles

Strongly unfoldable cardinals made indestructible.Thomas A. Johnstone - 2008 - Journal of Symbolic Logic 73 (4):1215-1248.
Use of second-order dependencies in two-choice learning.James R. Erickson & Joann Cuchural - 1969 - Journal of Experimental Psychology 79 (3p1):575.
Fragments of Martin's Maximum in generic extensions.Y. Yoshinobu & B. Konig - 2004 - Mathematical Logic Quarterly 50 (3):297.
Rationally Functional Dependence.Pavel Naumov & Brittany Nicholls - 2014 - Journal of Philosophical Logic 43 (2-3):603-616.
Coding true arithmetic in the Medvedev and Muchnik degrees.Paul Shafer - 2011 - Journal of Symbolic Logic 76 (1):267 - 288.
Universal partial indestructibility and strong compactness.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (5):524-531.
Approachability and games on posets.Yasuo Yoshinobu - 2003 - Journal of Symbolic Logic 68 (2):589-606.
On strongly finite consequence operations.Wieslaw Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):87-92.


Added to PP

6 (#1,128,408)

6 months
1 (#479,283)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references