- 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
On existential definitions of c.e. subsets of rings of functions of characteristic 0
Annals of Pure and Applied Logic 173 (4):103076 (2022)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
First-order definitions of rational functions and S -integers over holomorphy rings of algebraic functions of characteristic 0.Alexandra Shlapentokh - 2005 - Annals of Pure and Applied Logic 136 (3):267-283.
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.
The functions of definitions in ontologies.Selja Seppälä, Alan Ruttenberg, & Barry Smith - 2016 - In Roberta Ferrario & Werner Kuhn, Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016). Amsterdam: IOS Pres. pp. 37-50.
QE rings in characteristic p n.Chantal Berline & Gregory Cherlin - 1983 - Journal of Symbolic Logic 48 (1):140-162.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
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.
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.
C. Berline and G. Cherlin. QE rings in characteristic p. Logic year 1979–80, The University of Connecticut, USA, edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture notes in mathematics, vol. 859, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–31. - C. Berline and G. Cherlin. QE nilrings of prime characteristic. Bulletin de la Société Mathématique de Belgique, ser. B vol. 33, pp. 3–17. - Chantal Berline and Gregory Cherlin. QE rings in characteristic pn. The journal of symbolic logic, vol. 48, pp. 140–162. - D. Saracino and C. Wood. QE commutative nilrings. The journal of symbolic logic, vol. 49, pp. 644–651.M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
Combinatorics with definable sets: Euler characteristics and grothendieck rings.Jan Krajíček & Thomas Scanlon - 2000 - Bulletin of Symbolic Logic 6 (3):311-330.
Analytics
Added to PP
2021-12-14
Downloads
63 (#954,461)
6 months
19 (#576,138)
2021-12-14
Downloads
63 (#954,461)
6 months
19 (#576,138)
Historical graph of downloads
Author's Profile
Citations of this work
Undecidability of indecomposable polynomial rings.Marco Barone, Nicolás Caro-Montoya & Eudes Naziazeno - 2025 - Archive for Mathematical Logic 64 (1):185-203.
References found in this work
A note on the number of zeros of polynomials and exponential polynomials.C. Smorynski - 1977 - Journal of Symbolic Logic 42 (1):99-106.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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