Showing 1–4 of 4 results for author: G., L A

A natural semantics for the pullback of fiber bundles of structures

Authors: Leonardo A. Cano G, Pedro H. Zambrano

Abstract: We remark that forcing on fiber bundles of structures of first order languages is not a compatible semantics with the pullback (of fiber bundles) and we describe a semantics which behaves well with respect to it. This new semantics uses parallel transport and allows to introduce two different types of extensions for the formulae: vertical and horizontal extensions. We remark that forcing on fiber bundles of structures of first order languages is not a compatible semantics with the pullback (of fiber bundles) and we describe a semantics which behaves well with respect to it. This new semantics uses parallel transport and allows to introduce two different types of extensions for the formulae: vertical and horizontal extensions. △ Less

Submitted 22 August, 2022; v1 submitted 27 November, 2018; originally announced November 2018.

Can we detect Gaussian curvature by counting paths and measuring their length?

Authors: Leonardo A. Cano G., Sergio A. Carrillo

Abstract: The aim of this paper is to associate a measure for certain sets of paths in the Euclidean plane $\mathbb{R}^2$ with fixed starting and ending points. Then, working on parameterized surfaces with a specific Riemannian metric, we define and calculate the integral of the length over the set of paths obtained as the image of the initial paths in $\mathbb{R}^2$ under the given parameterization. Moreov… ▽ More The aim of this paper is to associate a measure for certain sets of paths in the Euclidean plane $\mathbb{R}^2$ with fixed starting and ending points. Then, working on parameterized surfaces with a specific Riemannian metric, we define and calculate the integral of the length over the set of paths obtained as the image of the initial paths in $\mathbb{R}^2$ under the given parameterization. Moreover, we prove that this integral is given by the average of the lengths of the external paths times the measure of the set of paths if and only if the surface has Gaussian curvature equal to zero. △ Less

Submitted 30 September, 2019; v1 submitted 16 August, 2017; originally announced August 2017.

Comments: The paper has been revised and rewritten

MSC Class: 53B99; 05A10; 33C10

Journal ref: Rev. Integr. temas mat.38 (2020) 1, 33-42

Nearly Spectral Spaces

Authors: Lorenzo Acosta G., I. Marcela Rubio P

Abstract: We study some natural generalizations of the spectral spaces in the contexts of commutative rings and distributive lattices. We obtain a topological characterization for the spectra of commutative (not necessarily unitary) rings and we find spectral versions for the up-spectral and down-spectral spaces. We show that the duality between distributive lattices and Balbes-Dwinger spaces is the co-equi… ▽ More We study some natural generalizations of the spectral spaces in the contexts of commutative rings and distributive lattices. We obtain a topological characterization for the spectra of commutative (not necessarily unitary) rings and we find spectral versions for the up-spectral and down-spectral spaces. We show that the duality between distributive lattices and Balbes-Dwinger spaces is the co-equivalence associated to a pair of contravariant right adjoint functors between suitable categories. △ Less

Submitted 16 June, 2017; originally announced June 2017.

Comments: 14 pages, 1 Tikz figure

MSC Class: 54H10 (Primary); 54F65; 54D35 (Secondary)

Journal ref: Bol. Soc. Mat. Mex. (2019) 25(3), 687-700

On Nilcompactifications of Prime Spectra of Commutative Rings

Authors: Lorenzo Acosta G., I. Marcela Rubio P.

Abstract: Given a ring R and S one of its proper ideals, we obtain a compactification of the prime spectrum of S through a mainly algebraic process. We name it the R-nilcompactification of SpecS. We study some categorical properties of this construction. Given a ring R and S one of its proper ideals, we obtain a compactification of the prime spectrum of S through a mainly algebraic process. We name it the R-nilcompactification of SpecS. We study some categorical properties of this construction. △ Less

Submitted 28 March, 2022; v1 submitted 27 October, 2015; originally announced October 2015.

Comments: 13 pages, 7 Tikz figures

MSC Class: 54D35 (Primary); 54B30; 54B35 (Secondary)

Journal ref: Ricerche di Matematica 2023