Mihai Prunescu  Home/Search
Context
Related
| fmi.unikonstanz.de...preprint087.ps.Z inf.unikonstanz.de...preprint087.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fmi.unikonstanz.de/Schriften/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: General and diophantine definability in number rings and their polynomial rings are studied from a model-theoretic point of view. The main tool used is a modern form of the Theorem of Beth. For a ring R we consider the monoid EndR (R ) of all embeddings of a nonstandard enlargement R in itself which fix the standard elements. If R is a number ring or any field, the application of natural restriction ResR from End R[T ] (R[T ] ) to EndR (R ) is a well defined homomorphism of... (Update)
Active bibliography (related documents):
0.5: Learning Power and Language Expressiveness - Martin, Sharma, Stephan (Correct)
Similar documents based on text: More All
0.6: Homology and Cohomology of Toric Varieties - Jordan (1998) (Correct)
0.5: Logical Tree Matching with Complete Answer Aggregates for.. - Meuss (2000) (Correct)
0.5: On the Hardness of Recognizing Bundles in Time Table Graphs - Liebers, Wagner, Weihe (1999) (Correct)
BibTeX entry: (Update)
@misc{ prunescu-structural,
author = "Mihai Prunescu",
title = "A Structural Approach to Diophantine Definability",
url = "citeseer.ist.psu.edu/article/prunescu99structural.html" }
Citations (may not include all citations):2 Matiyasevich: Hilbert's Tenth Problem (context) - Yuri - 1993
1 Beth: The Foundations of Mathematics North Holland (context) - Evert - 1959
1 Julia Robinson: The decison problem for exponential diophant.. (context) - Davis, Putnam - 1961
1 Jan Denef: The Diophantine Problem for Polynomial Rings and .. (context) - Denef, Problem et al. - 1978
1 Thanases Pheidas: Hilbert's Tenth Problem for a Class of Rin.. (context) - Pheidas, Problem et al. - 1988
1 Jan Denef: Hilbert's Tenth Problem for Quadratic Rings Proce.. (context) - Denef, Problem et al. - 1975
1 General Theory and Theory of Computable Fields Transactions (context) - Rabin, Algebra - 1960
1 Jan Denef: Diophantine sets over Z[T ] Proceedings (context) - Denef, over et al. - 1978
1 Julia Robinson: The Undecidability for Algebraic Rings and F.. (context) - Robinson, for et al. - 1959
1 Leonhard Lipshitz: Diophantine correct models of Arithmetic .. (context) - Lipshitz, models et al. - 1979
1 Rumely: Undecidability and Definability for the Theory of Gl.. (context) - Robert - 1980
1 Marcus: Number Fields Springer Verlag (context) - Daniel - 1977
1 Shoenfield: Mathematical Logic Reading Mass (context) - Joseph - 1976
1 Beth: On Padoa's method in the theory of definition Proceedi.. (context) - Evert - 1953
1 Karim Zahidi: to appear (context) - Zahidi, in et al.
1 Barry Mazur: On the Diophantine Sets over the Rationals Expe.. (context) - Mazur, Diophantine et al. - 1980
Documents on the same site (http://www.fmi.uni-konstanz.de/Schriften/): More
Subsonic Solutions to a One-Dimensional.. - Amster, Varela.. (1999) (Correct)
Affine Cones over Algebraic Varieties and Embeddings into Toric.. - Hausen (2000) (Correct)
Partial Differential Equations - Thermo & Visco & Elasticity - - Rivera, Racke (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC