- 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
The theory of integrally closed domains is not finitely axiomatizable
Mathematical Logic Quarterly 61 (1-2):120-122 (2015)
Abstract
It is well‐known that the theory of algebraically closed fields is not finitely axiomatizable. In this note, we prove that the theory of integrally closed integral domains is also not finitely axiomatizable.Other Versions
No versions found
My notes
Similar books and articles
The Fraenkel‐Carnap question for Dedekind algebras.George Weaver & Benjamin George - 2003 - Mathematical Logic Quarterly 49 (1):92-96.
A finitely axiomatizable complete theory with atomlessF 1.A. Ehrenfeucht & G. Fuhrken - 1971 - Archive for Mathematical Logic 14 (3-4):162-166.
All Normal Extensions of S5-squared Are Finitely Axiomatizable.Nick Bezhanishvili & Ian Hodkinson - 2004 - Studia Logica 78 (3):443-457.
All finitely axiomatizable subframe logics containing the provability logic CSM $_{0}$ are decidable.Frank Wolter - 1998 - Archive for Mathematical Logic 37 (3):167-182.
The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (2):250 - 259.
On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories.Leszek Aleksander Kołodziejczyk - 2006 - Journal of Symbolic Logic 71 (2):624 - 638.
Finitely axiomatizable strongly minimal groups.Thomas Blossier & Elisabeth Bouscaren - 2010 - Journal of Symbolic Logic 75 (1):25-50.
Existentially Closed Closure Algebras.Philip Scowcroft - 2020 - Notre Dame Journal of Formal Logic 61 (4):623-661.
The elementary theory of the natural lattice is finitely axiomatizable.Patrick Cegielski - 1988 - Notre Dame Journal of Formal Logic 30 (1):138-150.
Finitely axiomatizable ℵ1 categorical theories.Ehud Hrushovski - 1994 - Journal of Symbolic Logic 59 (3):838 - 844.
Analytics
Added to PP
2015-09-03
Downloads
11 (#1,419,405)
6 months
6 (#861,180)
2015-09-03
Downloads
11 (#1,419,405)
6 months
6 (#861,180)
Historical graph of downloads
References found in this work
Models and Ultraproducts: An Introduction.J. L. Bell & A. B. Slomson - 1972 - Journal of Symbolic Logic 37 (4):763-764.
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