8 citations · 53 across the 40 of their papers we have counts for
41 papers
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…
Classification of Boolean Algebras through von Neumann regular Rings
Jean Cerqueira Berni, Hugo Luiz Mariano
In this paper, we introduce the concept of a "von Neumann regular -ring", which is a model for a specific equational theory. We delve into the characteristics…
K-theories and Free Inductive Graded Rings in Abstract Quadratic Forms Theories
Kaique Matias de Andrade Roberto, Hugo Luiz mariano
We build on previous work on multirings (\cite{roberto2021quadratic}) that provides generalizations of the available abstract quadratic forms theories (special groups and real semi…
The Galois group of a Special Group
Kaique Matias de Andrade Roberto, Hugo Luiz Mariano
In this ongoing work, we extend to a class of well-behaved pre-special hyperfields the work of J. Miná\v c and Spira (\cite{minac1996witt}) that describes a (pro-2)-group of a fiel…
Inductive graded rings, hyperfields and quadratic forms
Kaique Matias de Andrade Roberto, Hugo Luiz Mariano
The goal of this work is twofold: (i) to provide a detailed analysis of some categories of inductive graded ring - a concept introduced in [DM98] in order to provide a solution of…
On homotopical and cohomological interpretations of Logic
Thiago Alexandre, Gabriel Bittencourt Rios, Hugo Luiz Mariano
Building over some ideas of René Guitart, we provide a categorical framework towards some deviation notions in abstract logic.