메뉴 건너뛰기




Volumn 95, Issue 2, 2002, Pages 227-252

Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0036695944     PISSN: 0022314X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-314X(01)92759-3     Document Type: Article
Times cited : (22)

References (17)
  • 2
    • 0001739587 scopus 로고
    • Hilbert's Tenth Problem is unsolvable
    • M. Davis, Hilbert's Tenth Problem is unsolvable, Amer. Math. Monthly 80 (1973), 233-269.
    • (1973) Amer. Math. Monthly , vol.80 , pp. 233-269
    • Davis, M.1
  • 4
    • 84968502651 scopus 로고
    • Hilbert's Tenth Problem for quadratic rings
    • J. Denef, Hilbert's Tenth Problem for quadratic rings, Proc. Amer. Math. Soc. 48 (1975), 214-220.
    • (1975) Proc. Amer. Math. Soc , vol.48 , pp. 214-220
    • Denef, J.1
  • 5
    • 84959741166 scopus 로고
    • Diophantine sets over some rings of algebraic integers
    • J. Denef, and L. Lipschitz, Diophantine sets over some rings of algebraic integers, J. London Math. Soc. (2) 18 (1978), 385-391.
    • (1978) J. London Math. Soc , vol.18 , Issue.2 , pp. 385-391
    • Denef, J.1    Lipschitz, L.2
  • 6
    • 84968468380 scopus 로고
    • Diophantine sets of algebraic integers. II
    • J. Denef, Diophantine sets of algebraic integers. II, Trans. Amer. Math. Soc. 257 (1), (1980), 227-236.
    • (1980) Trans. Amer. Math. Soc , vol.257 , Issue.1 , pp. 227-236
    • Denef, J.1
  • 10
    • 0002696360 scopus 로고
    • The topology of rational points
    • B. Mazur, The topology of rational points, Experiment. Math. 1 (1992), 35-45.
    • (1992) Experiment. Math , vol.1 , pp. 35-45
    • Mazur, B.1
  • 11
    • 0000828467 scopus 로고
    • Questions of decidability and undecidability in number theory
    • B. Mazur, Questions of decidability and undecidability in number theory, J. Symbolic Logic 59 (1994), 353-371.
    • (1994) J. Symbolic Logic , vol.59 , pp. 353-371
    • Mazur, B.1
  • 12
    • 0000753481 scopus 로고
    • Hilbert's Tenth Problem for a class of rings of algebraic integers
    • T. Pheidas, Hilbert's Tenth Problem for a class of rings of algebraic integers, Proc. Amer. Math. Soc. 104 (1988), 611-620.
    • (1988) Proc. Amer. Math. Soc , vol.104 , pp. 611-620
    • Pheidas, T.1
  • 13
    • 84990553397 scopus 로고
    • Diophantine relations between algebraic number fields
    • H. N. Shapiro and A. Shlapentokh, Diophantine relations between algebraic number fields, Comm. Pure Appl. Math. XLII (1989), 1113-1122.
    • (1989) Comm. Pure Appl. Math , vol.42 , pp. 1113-1122
    • Shapiro, H.N.1    Shlapentokh, A.2
  • 14
    • 84990627039 scopus 로고
    • Extension of Hilbert's Tenth Problem to some algebraic number fields
    • A. Shlapentokh, Extension of Hilbert's Tenth Problem to some algebraic number fields, Comm. Pure Appl. Math. XLII (1989), 939-962.
    • (1989) Comm. Pure Appl. Math , vol.42 , pp. 939-962
    • Shlapentokh, A.1
  • 15
    • 0031489559 scopus 로고    scopus 로고
    • Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
    • A. Shlapentokh, Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator, Invent. Math. 129 (1997), 489-507.
    • (1997) Invent. Math , vol.129 , pp. 489-507
    • Shlapentokh, A.1
  • 16
    • 0001411764 scopus 로고
    • Diophantine classes of holomorphy rings of global fields
    • A. Shlapentokh, Diophantine classes of holomorphy rings of global fields, J. Algebra 169 (1994), 139-175.
    • (1994) J. Algebra , vol.169 , pp. 139-175
    • Shlapentokh, A.1
  • 17
    • 0034649898 scopus 로고    scopus 로고
    • Defining integrality at prime sets of high density in number fields
    • A. Shlapentokh, Defining integrality at prime sets of high density in number fields, Duke Math. J. 101 (2000), 117-134.
    • (2000) Duke Math. J , vol.101 , pp. 117-134
    • Shlapentokh, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.