- 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
Decidable Model Companions
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):225-227 (1989)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Bounded Obstructions, Model Companions and Amalgamation Bases.M. H. Albert & S. Burris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):109-115.
A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):199-201.
A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):235-239.
An Extention of the Decidable Class of Equations Considered by Goodstein and Lee.Nadejda Georgieva - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):399-404.
A Model for Urelements.N. C. K. Phillips - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (19):303-304.
Nullstellensätze — A Model Theoretic Framework.Volker Weispfenning - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):539-545.
Model completeness and direct power.Kazem Taghva - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):3-9.
On Quasi-Universal Model Classes.Manfred Armbrust & Klaus Kaiser - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30):403-406.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):49-54.
Analytics
Added to PP
2015-12-02
Downloads
25 (#654,431)
6 months
2 (#1,259,626)
2015-12-02
Downloads
25 (#654,431)
6 months
2 (#1,259,626)
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-68866f4b87-sz9d2 uwo