- 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
First-order rigidity of rings satisfying polynomial identities
Annals of Pure and Applied Logic 173 (6):103109 (2022)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings.Javier Utreras - 2019 - Journal of Symbolic Logic 84 (3):1194-1214.
Uniform definability of integers in reduced indecomposable polynomial rings.Marco Barone, Nicolás Caro & Eudes Naziazeno - 2020 - Journal of Symbolic Logic 85 (4):1376-1402.
The Woods–Erdös conjecture for polynomial rings.Maxim Vsemirnov - 2001 - Annals of Pure and Applied Logic 113 (1-3):331-344.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
On complete bundles of locally valid identities.Tomasz Furmanowski - 1984 - Bulletin of the Section of Logic 13 (4):202-205.
Polynomial rings and weak second-order logic.Anne Bauval - 1985 - Journal of Symbolic Logic 50 (4):953-972.
A note on the decidability of exponential terms.Paola D'Aquino & Giuseppina Terzo - 2007 - Mathematical Logic Quarterly 53 (3):306-310.
Leloup, G., Rings of monoids elementarily equivalent to polynomial rings Miller, C., Expansions of the real field with power functions Ozawa, M., Forcing in nonstandard analysis Rathjen, M., Proof theory of reflection. [REVIEW]L. D. Beklemishev, O. V. Belegradek, K. J. Davey & J. L. Krivine - 1994 - Annals of Pure and Applied Logic 68:343.
Morphisms of Rings.Robert Paré - 2021 - In Claudia Casadio & Philip J. Scott (eds.), Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 271-298.
Hilbert's 17th Problem for Real Closed Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (4):445-454.
Perfect MV-Algebras and l-Rings.Lawrence P. Belluce, Antonio Di Nola & George Georgescu - 1999 - Journal of Applied Non-Classical Logics 9 (1):159-172.
Proofs of regular identities.Ewa Graczynska & Francis Pastijn - 1981 - Bulletin of the Section of Logic 10 (1):35-37.
A Fast Deterministic Algorithm For Formulas That Have Many Satisfying Assignments.E. Hirsch - 1998 - Logic Journal of the IGPL 6 (1):59-71.
Valued modules over skew polynomial rings I.Gönenç Onay - 2017 - Journal of Symbolic Logic 82 (4):1519-1540.
Analytics
Added to PP
2022-04-07
Downloads
5 (#1,510,250)
6 months
1 (#1,510,037)
2022-04-07
Downloads
5 (#1,510,250)
6 months
1 (#1,510,037)
Historical graph of downloads
References found in this work
What does a group algebra of a free group “know” about the group?Olga Kharlampovich & Alexei Myasnikov - 2018 - Annals of Pure and Applied Logic 169 (6):523-547.
Elementary equivalence of rings with finitely generated additive groups.Alexei G. Myasnikov, Francis Oger & Mahmood Sohrabi - 2018 - Annals of Pure and Applied Logic 169 (6):514-522.
R.j. Thompson’s groups F and T are bi-interpretable with the ring of the integers.Clément Lasserre - 2014 - Journal of Symbolic Logic 79 (3):693-711.
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