Results 101 to 110 of about 78,049 (169)

On a proof of undecidability of the ring of algebraic integers (Model theoretic aspects of the notion of independence and dimension)

open access: yesOn a proof of undecidability of the ring of algebraic integers (Model theoretic aspects of the notion of independence and dimension)
Let K be an algebraic extension of the rationals and A be the ring of algebraic integers of K. As to the method of proving undecidability of the ring A, it seems that the only one method has been known, which is due to Julia Robinson, especially for infinite algebraic extensions of the rationals.
openaire  

Pupil dilation offers a time-window on prediction error. [PDF]

open access: yesElife
Colizoli O   +3 more
europepmc   +1 more source

A survey of undecidability problems of rings of totally real algebraic integers (Model theoretic aspects of the notion of independence and dimension)

open access: yesA survey of undecidability problems of rings of totally real algebraic integers (Model theoretic aspects of the notion of independence and dimension)
Let mathbb{Z}^{tr} be the ring of all totally real algebraic integers in mathbb{C}. We consider (un)decidability of its subrings of infinite degree over mathbb{Q}. Julia Robinson [Ro] proved that mathbb{Z} is first order definable (without parameters) in mathbb{Z}^{tr}, thus showed that it is undecidable. Moreover she showed undecidability of the rings
openaire  

Boson-Fermion Algebraic Mapping in Second Quantization. [PDF]

open access: yesEntropy (Basel)
Lingua F   +3 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy