- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
First-order theories of abstract dependence relations
Annals of Pure and Applied Logic 26 (3):215-243 (1984)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Axiomatizing first-order consequences in dependence logic.Juha Kontinen & Jouko Väänänen - 2013 - Annals of Pure and Applied Logic 164 (11):1101-1117.
Relating first-order set theories, toposes and categories of classes.Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
The universality spectrum of stable unsuperstable theories.Menachem Kojman & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (1):57-72.
Probabilistic characterisation of models of first-order theories.Soroush Rafiee Rad - 2021 - Annals of Pure and Applied Logic 172 (1):102875.
Unidimensional theories are superstable.Ehud Hrushovski - 1990 - Annals of Pure and Applied Logic 50 (2):117-138.
Unidimensional theories are superstable.Katsuya Eda - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.
Theories of Frege structure equivalent to Feferman's system T 0.Daichi Hayashi - 2025 - Annals of Pure and Applied Logic 176 (1):103510.
Infinitary first-order categorical logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
Coherence in inquisitive first-order logic.Ivano Ciardelli & Gianluca Grilletti - 2022 - Annals of Pure and Applied Logic 173 (9):103155.
Analytics
Added to PP
2014-01-16
Downloads
32 (#714,285)
6 months
8 (#613,944)
2014-01-16
Downloads
32 (#714,285)
6 months
8 (#613,944)
Historical graph of downloads
Author's Profile
Citations of this work
Generic pairs of SU-rank 1 structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.
Classifications of degree classes associated with r.e. subspaces.R. G. Downey & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 42 (2):105-124.
Independence, dimension and continuity in non-forking frames.Adi Jarden & Alon Sitton - 2013 - Journal of Symbolic Logic 78 (2):602-632.
Undecidability of L(F∞) and other lattices of r.e. substructures.R. G. Downey - 1986 - Annals of Pure and Applied Logic 32:17-26.
Weakly one-based geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.
References found in this work
An introduction to forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.
Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
Countable models of nonmultidimensional ℵ0-stable theories.Elisabeth Bouscaren & Daniel Lascar - 1983 - Journal of Symbolic Logic 48 (1):377 - 383.
On the notion of algebraic closedness for noncommutative groups and fields.Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (3):441-444.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-72rpk uwo