Login / Signup
Kenji Fukuzaki
Publication Activity (10 Years)
Years Active: 2003-2012
Publications (10 Years): 0
Top Topics
Efficient Implementation
Real Numbers
Algebraic Operators
Default Theories
Top Venues
Math. Log. Q.
</>
Publications
</>
Kenji Fukuzaki
Definability of the ring of integers in some infinite algebraic extensions of the rationals.
Math. Log. Q.
58 (4-5) (2012)
Kenji Fukuzaki
,
Akito Tsuboi
Implicit Definability of Subfields.
Notre Dame J. Formal Log.
44 (4) (2003)