Arithmetic definability by formulas with two quantifiers

1992 ◽  
Vol 57 (1) ◽  
pp. 1-11
Author(s):  
Shih Ping Tung
Keyword(s):  
Algebraic Number ◽  
Necessary Conditions ◽  
Algebraic Integer ◽  
Number Fields ◽  
Universal Quantifier ◽  
Existential Quantifier ◽  
Algebraic Number Fields ◽  
Integer Rings

AbstractWe give necessary conditions for a set to be definable by a formula with a universal quantifier and an existential quantifier over algebraic integer rings or algebraic number fields. From these necessary conditions we obtain some undefinability results. For example, N is not definable by such a formula over Z. This extends a previous result of R. M. Robinson.

scholarly journals A Note on Units of Algebraic Number Fields

1955 ◽  
Vol 9 ◽  
pp. 115-118 ◽  
Author(s):  
Tomio Kubota
Keyword(s):  
Existence Theorem ◽  
Algebraic Number ◽  
Present Note ◽  
Number Fields ◽  
Algebraic Number Fields

We shall prove in the present note a theorem on units of algebraic number fields, applying one of the strongest formulations, be Hasse [3], of Grunwald’s existence theorem.

scholarly journals K-RATIONAL D-BRANE CRYSTALS

2012 ◽  
Vol 27 (22) ◽  
pp. 1250112
Author(s):  
ROLF SCHIMMRIGK
Keyword(s):  
String Theory ◽  
Algebraic Number ◽  
Special Class ◽  
Building Blocks ◽  
Number Fields ◽  
Central Point ◽  
Algebraic Number Fields ◽  
Special Values ◽  
Toroidal Compactifications ◽  
Base Points

In this paper the problem of constructing space–time from string theory is addressed in the context of D-brane physics. It is suggested that the knowledge of discrete configurations of D-branes is sufficient to reconstruct the motivic building blocks of certain Calabi–Yau varieties. The collections of D-branes involved have algebraic base points, leading to the notion of K-arithmetic D-crystals for algebraic number fields K. This idea can be tested for D0-branes in the framework of toroidal compactifications via the conjectures of Birch and Swinnerton-Dyer. For the special class of D0-crystals of Heegner type these conjectures can be interpreted as formulae that relate the canonical Néron–Tate height of the base points of the D-crystals to special values of the motivic L-function at the central point. In simple cases the knowledge of the D-crystals of Heegner type suffices to uniquely determine the geometry.

Sign in / Sign up

Export Citation Format

Share Document