University of Calgary
UofC Navigation

Note on generalizing theorems in algebraically closed fields


Archive for Mathematical Logic 37 (1998) 297–307
(with Matthias Baaz)


The generalization properties of algebraically closed fields ACFp of characteristic p > 0 and ACF0 of characteristic 0 are investigated in the sequent calculus with blocks of quantifiers. It is shown that ACFp admits finite term bases, and ACF0 admits term bases with primality constraints. From these results the analogs of Kreisel's Conjecture for these theories follow: If for some k, A(1 + ... + 1) (n 1's) is provable in k steps, then (?x)A(x) is provable.


Yehuda Rav (Mathematical Reviews 2000a:03057)

Download from SpringerLink


Download Preprint

Download Preprint