Jorge I. Guier

Publication Activity (10 Years)

Years Active: 2001-2025
Publications (10 Years): 1

Publications

Jorge I. Guier
Elimination of quantifiers for a theory of real closed rings. Ann. Pure Appl. Log. 176 (1) (2025)
Jorge I. Guier
Boolean products of real closed valuation rings and fields. Ann. Pure Appl. Log. 112 (2-3) (2001)