Switch to: References

Add citations

You must login to add citations.
  1. Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
    In this paper we are concerned with definably, with or without parameters, complete expansions of ordered fields, i. e. those with no definable gaps. We present several axiomatizations, like being definably connected, in each of the two cases. As a corollary, when parameters are allowed, expansions of ordered fields are o-minimal if and only if all their definable subsets are finite disjoint unions of definably connected subsets. We pay attention to how simply a definable gap in an expansion is so. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Note on generalizing theorems in algebraically closed fields.Matthias Baaz & Richard Zach - 1998 - Archive for Mathematical Logic 37 (5-6):297-307.
    The generalization properties of algebraically closed fields $ACF_p$ of characteristic $p > 0$ and $ACF_0$ of characteristic 0 are investigated in the sequent calculus with blocks of quantifiers. It is shown that $ACF_p$ admits finite term bases, and $ACF_0$ 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 + \cdots + 1)$ ( $n$ 1's) is provable in $k$ steps, then $(\forall x)A(x)$ is provable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Herbrand's theorem and term induction.Matthias Baaz & Georg Moser - 2006 - Archive for Mathematical Logic 45 (4):447-503.
    We study the formal first order system TIND in the standard language of Gentzen's LK . TIND extends LK by the purely logical rule of term-induction, that is a restricted induction principle, deriving numerals instead of arbitrary terms. This rule may be conceived as the logical image of full induction.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Controlling witnesses.Matthias Baaz - 2005 - Annals of Pure and Applied Logic 136 (1-2):22-29.
    This paper presents a translation which allows one to describe constructive provability within classical first-order logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark