G. Pastuszak

activity

20132021

most citedConceptual design of the Spin Physics Detector

42 citations · 47 across the 6 of their papers we have counts for

collaborators

Showing 2016Show all

2 papers · 1 filter

math.LO2016

A constructive proof of Tarski's theorem on quantifier elimination in the theory of ACF

Grzegorz Pastuszak

Assume that $A C F$ denotes the theory of algebraically closed fields. The renowned theorem of A. Tarski states that $A C F$ admits quantifier elimination. In this paper we give a cons…

math.AC2016

On ascending chains of ideals in the polynomial ring

Grzegorz Pastuszak

Assume that $K$ is a field and $I_{1} ⊊ ... ⊊ I_{t}$ is an ascending chain (of length $t$ ) of ideals in the polynomial ring $K [x_{1},, ..., x_{m}]$ , for some $m\geq 1…