BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Hugo Luiz Mariano contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic extension to a superfield that is algebraically closed. Moreover we show that every infinite algebraically closed superfield admits quantifier elimination procedure.
We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality $κ$, where $κ$ is a regular cardinal. The corresponding new notion is called $κ$-filter pair. A filter pair can be seen as a presentation of a logic, and we ask what different $κ$-filter pairs give rise to a fixed logic of cardinality $κ$. To make the question well-defined we restrict to a subcollection of filter pairs and establish a bijection from that collection to the set of natural extensions of that logic by a set of variables of cardinality $κ$. Along the way we use $κ$-filter pairs to construct natural extensions for a given logic, work out the relationships between this construction and several others proposed in the literature, and show that the collection of natural extensions forms a complete lattice. In an optional section we introduce and motivate the concept of a general filter pair.
A multiring ([Mar3]) is a kind of ring where is allowed the sum of two elements to be anon-empty subset of the structure instead of just one element -and an hyperring is a multiring with a strong distributive property. Thus a reduced hyperring where the prime spec is a Boolean topological space is called von Neumann regular hyperring (vNH). It is possible to associate to every such object a structural presheaf in the same way it is made with rings but there are some vNH such that this presheaf is not a sheaf. In this sense, we give a first-order characterization of vNH with a structural sheaf (geometric vNH or just GvNH) and how to transform a vNH in aGvNH -in fact, this transformation shows that the category GvNH is a reflexive subcategory of vNH. We also build a von Neumann regular hull for multirings and use this to give applications for algebraic theory of quadratic forms. More precisely, we work with Real Reduced Multiring (RRM, [Mar3]) -also known as Real Semigroup (RS, [DP1])-, a special kind of multirings that is useful to explore the real structure of rings, and show that a von Neumann hull of a RRM is again a RRM. This gives a generalization of sheafs arguments present in [DM4].
In the present work, a natural sequel to \cite{MaPi1}, we further discuss the existence of adjunctions between categories of institutions and of $π$-institutions. This is done at both a foundational and an applied level. Firstly, we reformulate and conceptually clarify such adjunctions in terms of the $2$-categorical data involved in the construction of categories of institution-like structures. More precisely, we remark that the process used for passing from rooms to institutions (\cite{Diac2}) can be extended, due to its $2$-functoriality, to more general room-like and institution-like structures in such a way that the aforementioned adjunctions are all seen to arise from simpler adjunctions at the room-like level. Secondly, and mostly independently, we provide some applications of such adjunctions to abstract logics, mainly to the setting of propositional logics and filter pairs (\cite{AMP1}); we also generalize the process of skolemization, a classical device from predicate logic, to the institutional setting.
We provide, explicitly, equivalences and dual equivalences between categories of abstract quadratic forms theories and subcategories of multifields and multirings, that will bring new perspectives and methods to the abstract theories of quadratic forms in forthcoming papers.
In the present work we carry on the study of the order theory for ($\mathcal{C}^{\infty}-$-reduced) $\mathcal{C}^{\infty}-$-rings initiated in \cite{rings1} (see also \cite{BM2}). In particular, we apply some results of the order theory of $\mathcal{C}^{\infty}-$-fields (e.g., every such field is real closed) to present another approach to the order theory of general $\mathcal{C}^{\infty}-$-rings: "smooth real spectra" (see \cite{separation}). This suggests that a model-theoretic investigation of the class of $\mathcal{C}^{\infty}-$-fields could be interesting and also useful to provide the first steps towards the development of the "Real Algebraic Geometry" of $\mathcal{C}^{\infty}-$-rings.
We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital rings, looking for similar results to those one finds in the latter, and expanding some others presented in [20]. We give an explicit description of an adjunction between the categories $\mathcal{C}^\infty{\rm Rng}$ and ${\rm CRing}$, in order to study this "bridge". We present and prove many properties of the analog of the radical of an ideal of a ring (namely, the $\mathcal{C}^\infty$-radical of an ideal), saturation (which we define as "smooth saturation", inspired by [13]), rings of fractions ($\mathcal{C}^\infty$-rings of fractions, defined first by I. Moerdijk and G. Reyes in [20]), local rings (local $\mathcal{C}^\infty$-rings), reduced rings ($\mathcal{C}^\infty$-reduced $\mathcal{C}^\infty$-rings) and others. We also state and prove new results, such as ad hoc "Separation Theorems", similar to the ones we find in Commutative Algebra, and a stronger version (Theorem 6) of the Theorem 1.4 of [20], characterizing every $\mathcal{C}^\infty$-ring of fractions. We describe the fundamental concepts of Order Theory for $\mathcal{C}^\infty$-rings, proving that every $\mathcal{C}^\infty$-ring is semi-real, and we prove an important result on the strong interplay between the smooth Zariski spectrum and the real smooth spectrum of a $\mathcal{C}^\infty$-ring.
In this work we present some general categorial ideas on Abstract Elementary Classes (AECs) %\cite{She}, inspired by the totality of AECs of the form $(Mod(T), \preceq)$, for a first-order theory T: (i) we define a natural notion of (funtorial) morphism between AECs; (ii) explore the following constructions of AECs: "generalized" theories, pullbacks of AECs, (Galois) types as AECs; (iii) apply categorial and topological ideas to encode model-theoretic notions on spaces of types %(see Michael Lieberman Phd thesis) ; (iv) present the "local" axiom for AECs here called "local Robinson's property" and an application (Robinson's diagram method); (v) introduce the category $AEC$ of Grothendieck's gluings of all AECs (with change of basis); (vi) introduce the "global" axioms of "tranversal Robinson's property" (TRP) and "global Robinson's property" (GRP) and prove that TRP is equivalent to GRP and GRP entails a natural version of Craig interpolation property.
The major concern in the study of categories of logics is to describe condition for preservation, under the a method of combination of logics, of meta-logical properties. Our complementary approach to this field is study the "global" aspects of categories of logics in the vein of the categories $\Ss, \Ls, \cA_s$ studied in \cite{AFLM3}. All these categories have good properties however the category of logics $\cL$ does not allow a good treatment of the "identity problem" for logics (\cite{Bez}): for instance, the presentations of "classical logics" (e.g., in the signature $\{\neg, \vee\}$ and $\{\neg',\rightarrow'\}$) are not $\Ls$-isomorphic. In this work, we sketch a possible way to overcome this "defect" (and anothers) by a mathematical device: a representation theory of logics obtained from category theoretic aspects on (Blok-Pigozzi) algebraizable logics. In this setting we propose the study of (left and right) "Morita equivalence" of logics and variants. We introduce the concepts of logics (left/right)-(stably) -Morita-equivalent and show that the presentations of classical logics are stably Morita equivalent but classical logics and intuitionist logics are not stably-Morita-equivalent: they are only stably-Morita-adjointly related.