- 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
An Application of Model Theory to Semimodules
Logic Journal of the IGPL 16 (1):99-102 (2008)
Abstract
In this note, we prove that the theory T of cancellative semimodules over a semiring R has the amalgamation property. If R is an entire cancellative zerosumfree semiring, then T has no model-companion. In particular, the theory of commutative additively cancellative monoids forms an example of a non-companionable theoryAuthor's Profile
My notes
Similar books and articles
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
" The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part Two. Application of the evaluation model to theory analysis, theory critique and theory support of the SAUC model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (2):19-38.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
" The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part One. Development of a new model for nursing theory evaluation and application of this model to theory description of the SAUC model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (1):10-34.
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
The Nine-Field-Model” for evaluation of theoretical constructs in nursing. Part one. Application of the evaluation model to theory description of the SAUC model. [REVIEW]B. Gustafsson & L. Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (1):10-34.
Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
Combinatorial realizability models of type theory.Pieter Hofstra & Michael A. Warren - 2013 - Annals of Pure and Applied Logic 164 (10):957-988.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.
Uniting model theory and the universalist tradition of logic: Carnap’s early axiomatics.Iris Loeb - 2014 - Synthese 191 (12):2815-2833.
In defence of (model) theory theory.Heidi Maibom - 2009 - Journal of Consciousness Studies 16 (6-8):6-8.
Compactness and independence in non first order frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
Some Model Theory For Probability Structures.George Georgescu - 2001 - Reports on Mathematical Logic:103-113.
Analytics
Added to PP
2015-02-04
Downloads
0
6 months
0
2015-02-04
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
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-5ff6c685cb-rv6xt uwo