# Logic (math.LO)

• Apr 27 2017 math.LO arXiv:1704.08155v1
We investigate set theories consisting of sequents of $\Sigma_1$ formulas. We obtain a complete deductive system for such theories. We verify the elementary properties of the $\Sigma_1$ truth predicate in this setting. We extend the $\Sigma_1$ truth predicate to a semantic predicate on intuitionistic formulas. We also show the equivalence of two set-theoretic completeness principles.
• This paper studies unbounded PAC fields and shows an amalgamation result for types over algebraically closed sets. It discusses various applications, for instance that omega-free PAC fields have the property NSOP3. It also contains a description of imaginaries in PAC fields.
• Duparc introduced a two-player game $G_f$ such that Player II has a winning strategy iff $f$ is Baire class 1. We define a game $G'_f$ for an arbitrary function $f : X \to Y$ between arbitrary Polish spaces such that Player II has a winning strategy in $G'_f$ iff $f$ is Baire class 1. We also show that $G'_f$ is always determined.
• Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language $+, \cdot,0$. Furthermore, if $R$ has characteristic zero then we prove that the elementary theory $Th(L)$ of $L$ in the standard ring language is undecidable. To do so we show that the arithmetic ${\bf N} = \langle{\bf N}, +,\cdot,0 \rangle$ is 0-interpretable in $L$. This implies that the theory of $Th(L)$ has the independence property. These results answer some old questions on model theory of free Lie algebras.