Let K,R be an algebraically closed field (of characteristic zero) and a real closed field respectively with K=R(√(-1)). We show that every K-analytic set definable in an o-minimal expansion of R can be locally approximated by a sequence of K-Nash sets.
We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice which is a...
This article provides definitions and examples upon an integral element of unital commutative rings. An algebraic number is also treated as consequence of a concept of “integral”. Definitions for an integral closure, an algebraic integer and a transcendental numbers [14], [1], [10] and [7] are included as well. As an application of an algebraic number, this article includes a formal proof of a ring extension of rational number field ℚ induced by substitution of an algebraic number to the polynomial...
En este trabajo se propone una estructura de álgebra difusa (borrosa) basada en la distinción entre difusidad extensiva y comprehensiva, desarrollando y conectando los trabajos de Nahmias sobre variables difusas, de Klement sobre medibilidad difusa y de Nowakowska sobre estructuras de conceptos.