2 papers
math.LO2026
Relating forcing relations
Michel Viana Smykalla, Hugo Luiz Mariano
Forcing was first introduced by Paul J. Cohen in his work on the independence of the Continuum Hypothesis. Other formulations of forcing appeared using Model Theory, Boolean-valued…
math.RA2024
Gelfand-Kirillov conjecture as a first-order formula
Hugo Luiz Mariano, João Schwarz
Let be a (reduced) root system. Let be an algebraically closed field of zero characteristic, and consider the corresponding semisimple Lie algebra $\mathfrak{g}_{…