- 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
A Remark on Algebraic Closure and Orthogonality
Notre Dame Journal of Formal Logic 39 (4):527-530 (1998)
Abstract
We show that if is a stable theory with ndop and ndidip, then -primary models over free trees are -minimal over the tree. As a corollary we show, for example, that if is a stable theory and for all nonempty , , then is superstable or it has dop or didipLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Closures in ℵ0-categorical bilinear maps.Andreas Baudisch - 2000 - Journal of Symbolic Logic 65 (2):914 - 922.
Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
The classification of small types of rank ω, part I.Steven Buechler & Colleen Hoover - 2001 - Journal of Symbolic Logic 66 (4):1884-1898.
Linear, branching time and joint closure semantics for temporal logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
Complementation in Representable Theories of Region-Based Space.Torsten Hahmann & Michael Grüninger - 2013 - Notre Dame Journal of Formal Logic 54 (2):177-214.
Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (1):111-117.
The lattice of distributive closure operators over an algebra.Josep M. Font & Ventura Verdú - 1993 - Studia Logica 52 (1):1 - 13.
On algebraic closure in pseudofinite fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.
Note on G. J. Massey's closure-algebraic operation.BolesÅaw SobociÅski - 1970 - Notre Dame Journal of Formal Logic 11 (3):343-346.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Binary closure-algebraic operations that are functionally complete.Gerald J. Massey - 1970 - Notre Dame Journal of Formal Logic 11 (3):340-342.
Analytics
Added to PP
2010-08-24
Downloads
24 (#675,416)
6 months
2 (#1,250,447)
2010-08-24
Downloads
24 (#675,416)
6 months
2 (#1,250,447)
Historical graph of downloads
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-8fb5884b9-rfnn7 uwo