- 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
Ω-saturated matrices
Bulletin of the Section of Logic 8 (3):120-122 (1979)
Abstract
The paper is a continuation of the investigations of [3]. We assume that the reader is familiar with the notion of an !-saturated model and the notation applied in the theory of models. We refer to [2] for all model- theoretic terms which appear in this noteAuthor's Profile
Other Versions
No versions found
Links
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
An omitting types theorem for saturated structures.A. D. Greif & M. C. Laskowski - 1993 - Annals of Pure and Applied Logic 62 (2):113-118.
ω‐saturated quasi‐minimal models of Th (ℚω,+, σ, 0).Masanori Itai & Kentaro Wakai - 2005 - Mathematical Logic Quarterly 51 (3):258-262.
Construction of saturated quasi-minimal structure.Masanori Itai, Akito Tsuboi & Kentaro Wakai - 2004 - Journal of Symbolic Logic 69 (1):9-22.
Expansions of models of ω-stable theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.
Saturated Models for the Working Model Theorist.Yatir Halevi & Itay Kaplan - 2023 - Bulletin of Symbolic Logic 29 (2):163-169.
Coordinatisation and canonical bases in simple theories.Bradd Hart, Byunghan Kim & Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):293-309.
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures.Shahram Mohsenipour - 2007 - Mathematical Logic Quarterly 53 (3):289-294.
Classifiable theories without finitary invariants.E. Bouscaren & E. Hrushovski - 2006 - Annals of Pure and Applied Logic 142 (1-3):296-320.
Analytics
Added to PP
2014-02-19
Downloads
22 (#975,058)
6 months
4 (#1,252,858)
2014-02-19
Downloads
22 (#975,058)
6 months
4 (#1,252,858)
Historical graph of downloads
Author's Profile
References found in this work
Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
“Large” matrices which induce finite consequence operations.Janusz Czelakowski - 1979 - Bulletin of the Section of Logic 8 (2):79-81.
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-667477cd97-7qg25 dc2