Defining ℤ in ℚ

Defining ℤ in ℚ

We show that Z is definable in Q by a universal first-order formula in the language of rings. We also present an ∀∃-formula for Z in Q with just one universal quantifier. We exhibit new diophantine subsets of Q like the complement of the image of the norm map under a quadratic extension, and we give...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Koenigsmann, J
Ձևաչափ:	Journal article
Հրապարակվել է:	Princeton University, Department of Mathematics 2016

Նմանատիպ նյութեր

Defining $\mathbb{Z}$ in $\mathbb{Q}$
‌: Koenigsmann, J
Հրապարակվել է: (2010)

Defining Transcendentals in Function Fields.
‌: Koenigsmann, J
Հրապարակվել է: (2002)

Definable henselian valuations
‌: Jahnke, F, և այլն
Հրապարակվել է: (2012)

Defining coarsenings of valuations
‌: Jahnke, F, և այլն
Հրապարակվել է: (2017)

Definable henselian valuations
‌: Jahnke, F, և այլն
Հրապարակվել է: (2015)

An existential 0-definition of F_q[[t]] in F_q((t))
‌: Anscombe, W, և այլն
Հրապարակվել է: (2013)

Erratum to: Jet charge identification in the e + e − → Z → q q ¯ $$ {e}^{+}{e}^{-}\to Z\to q\overline{q} $$ process at Z pole
‌: Hanhua Cui, և այլն
Հրապարակվել է: (2024-08-01)

Mountain pass solution for the weighted Dirichlet ( p ( z ) , q ( z ) ) $(p(z),q(z))$ -problem
‌: Nadiyah Hussain Alharthi, և այլն
Հրապարակվել է: (2022-06-01)

Jet charge identification in the e+e− → Z → q q ¯ $$ \textrm{q}\overline{\textrm{q}} $$ process at Z pole
‌: Hanhua Cui, և այլն
Հրապարակվել է: (2024-05-01)

Erratum to: Jet charge identification in the e+e − → Z → q q ¯ $$ \textrm{q}\overline{\textrm{q}} $$ process at Z pole
‌: Hanhua Cui, և այլն
Հրապարակվել է: (2024-07-01)

On q-Convex Functions Defined by the q-Ruscheweyh Derivative Operator in Conic Regions
‌: Mehwish Jabeen, և այլն
Հրապարակվել է: (2022-01-01)

MODELLI GEOMETRICI PER Z, Q.
‌: Raffaele Bruno
Հրապարակվել է: (1994-11-01)

Meromorphic functions with missing coefficients defined by $q$-derivative
‌: Shahram Najafzadeh, և այլն
Հրապարակվել է: (2023-11-01)

Some Coefficient Inequalities of q-Starlike Functions Associated with Conic Domain Defined by q-Derivative
‌: Shahid Mahmood, և այլն
Հրապարակվել է: (2018-01-01)

On Fekete-Szegö Problems for Certain Subclasses Defined by q-Derivative
‌: Huda Aldweby, և այլն
Հրապարակվել է: (2017-01-01)

Coefficient inequalities for classes of univalent functions defined by q derivatives
‌: M. K. Aouf, և այլն
Հրապարակվել է: (2022-01-01)

On a question of Abraham Robinson
‌: Koenigsmann, J
Հրապարակվել է: (2016)

Home Page
‌: Koenigsmann, J
Հրապարակվել է: (2012)

Undecidability in number theory
‌: Koenigsmann, J
Հրապարակվել է: (2013)

P-HENSELIAN FIELDS
‌: Koenigsmann, J
Հրապարակվել է: (1995)

Solvable absolute Galois groups are metabelian
‌: Koenigsmann, J
Հրապարակվել է: (2001)

The regular inverse Galois problem over non-large fields
‌: Koenigsmann, J
Հրապարակվել է: (2004)

On a question of Abraham Robinson's
‌: Koenigsmann, J
Հրապարակվել է: (2013)

Relatively projective groups as absolute Galois groups
‌: Koenigsmann, J
Հրապարակվել է: (2000)

On the "Section Conjecture" in anabelian geometry
‌: Koenigsmann, J
Հրապարակվել է: (2003)

Decidability in local and global fields
‌: Koenigsmann, J
Հրապարակվել է: (2019)

Projective extensions of fields
‌: Koenigsmann, J
Հրապարակվել է: (2006)

Products of absolute Galois groups
‌: Koenigsmann, J
Հրապարակվել է: (2005)

FROM P-RIGID ELEMENTS TO VALUATIONS (WITH A GALOIS-CHARACTERIZATION OF P-ADIC FIELDS)
‌: Koenigsmann, J
Հրապարակվել է: (1995)

Pro-p Galois groups of rank >= 4
‌: Koenigsmann, J
Հրապարակվել է: (1998)

Applications of q−Ultraspherical polynomials to bi-univalent functions defined by q−Saigo's fractional integral operators
‌: Tariq Al-Hawary, և այլն
Հրապարակվել է: (2024-05-01)

Search for a heavy Standard Model Higgs boson in the channel H → Z Z → ℓ+ ℓ- q over(q, -) using the ATLAS detector
‌: Aad, G, և այլն
Հրապարակվել է: (2011)

On defining the generalized functions δα(z) and δn(x)
‌: E. K. Koh, և այլն
Հրապարակվել է: (1993-01-01)

Dirichlet (p,q)-equations with gradient dependent and locally defined reaction
‌: Zhenhai Liu, և այլն
Հրապարակվել է: (2021-04-01)

Certain classes of analytic functions defined by fractional q-calculus operator
‌: Ravikumar N.
Հրապարակվել է: (2018-08-01)

Convolution Properties for Certain Classes of Analytic Functions Defined by q-Derivative Operator
‌: T. M. Seoudy, և այլն
Հրապարակվել է: (2014-01-01)

Myeloid neoplasms with isolated isochromosome 17q: a yet to be defined entity
‌: Eleftheria Lamprianidou, և այլն
Հրապարակվել է: (2017-11-01)

Certain Class of Analytic Functions with respect to Symmetric Points Defined by Q-Calculus
‌: K. R. Karthikeyan, և այլն
Հրապարակվել է: (2021-01-01)

On Starlike Functions of Negative Order Defined by <i>q</i>-Fractional Derivative
‌: Sadia Riaz, և այլն
Հրապարակվել է: (2022-01-01)

Generation Z perspectives on museum sustainability using Q methodology
‌: Ásványi Katalin, և այլն
Հրապարակվել է: (2023-03-01)