University of Calgary
UofC Navigation

Note on generalizing theorems in algebraically closed fields

Source

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

Abstract

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.

Review

Yehuda Rav (Mathematical Reviews 2000a:03057)

Download from SpringerLink

doi:10.1007/s001530050100

Download Preprint

Download Preprint