- 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
Existentially closed Brouwerian semilattices
Journal of Symbolic Logic 84 (4):1544-1575 (2019)
Abstract
The variety of Brouwerian semilattices is amalgamable and locally finite; hence, by well-known results [19], it has a model completion. In this article, we supply a finite and rather simple axiomatization of the model completion.My notes
Similar books and articles
Binomial pairs, semi-Brouwerian and Brouwerian semilattices.Jürgen Schmidt - 1978 - Notre Dame Journal of Formal Logic 19 (3):421-434.
Geometric axioms for existentially closed Hasse fields.Piotr Kowalski - 2005 - Annals of Pure and Applied Logic 135 (1-3):286-302.
Modules of existentially closed algebras.Paul C. Eklof & Hans-Christian Mez - 1987 - Journal of Symbolic Logic 52 (1):54-63.
Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups. [REVIEW]Anatole Khelif - 1996 - Journal of Symbolic Logic 61 (1):277 - 284.
Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
Existentially closed ordered difference fields and rings.Françoise Point - 2010 - Mathematical Logic Quarterly 56 (3):239-256.
Existentially Closed Models of the Theory of Artinian Local Rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
Existentially closed fields with finite group actions.Daniel M. Hoffmann & Piotr Kowalski - 2018 - Journal of Mathematical Logic 18 (1):1850003.
A hierarchy of maps between compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.
The power of primitive positive definitions with polynomially many variables.Lagerkvist Victor & Wahlström Magnus - 2017 - Journal of Logic and Computation 27 (5).
Dualising Intuitionictic Negation.Graham Priest - 2009 - Principia: An International Journal of Epistemology 13 (2):165-184.
Semilattices and the Ramsey property.Miodrag Sokić - 2015 - Journal of Symbolic Logic 80 (4):1236-1259.
A note on existentially closed difference fields with algebraically closed fixed field.Anand Pillay - 2001 - Journal of Symbolic Logic 66 (2):719-721.
A Note On Existentially Closed Difference Fields With Algebraically Closed Fixed Field.Anand Pillay - 2001 - Journal of Symbolic Logic 66 (2):719-721.
Existentially closed algebras and boolean products.Herbert H. J. Riedel - 1988 - Journal of Symbolic Logic 53 (2):571-596.
Analytics
Added to PP
2019-10-17
Downloads
10 (#1,129,009)
6 months
4 (#698,851)
2019-10-17
Downloads
10 (#1,129,009)
6 months
4 (#698,851)
Historical graph of downloads
Citations of this work
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras.Nick Bezhanishvili, Luca Carai, Silvio Ghilardi & Lucia Landi - 2023 - Annals of Pure and Applied Logic 174 (1):103169.
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-7c76586df8-5tf24 uwo