Results 21 to 30 of about 307,497 (279)
Prime Filters and Ideals in Distributive Lattices [PDF]
Formalized Mathematics, 2013 Summary. The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the Mizar Mathematical Library, there are some attempts to formalize prime ideals and filters; one series of articles written as decoding [9] proven some results; we tried however to follow [21], [
openaire +2 more sources
Fuzzy Prime Filters of Lattice Implication Algebras
Fuzzy Information and Engineering, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Liu, Yi, Qin, Ke-Yun, Xu, Yang
openaire +2 more sources
Stone-Type Dualities for Separation Logics [PDF]
, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Docherty, Simon, Pym, David
core +2 more sources
Pretty cleanness and filter-regular sequences [PDF]
, 2013 Let $K$ be a field and $S=K[x_1,\ldots, x_n]$. Let $I$ be a monomial ideal of $S$ and $u_1,\ldots, u_r$ be monomials in $S$ which form a filter-regular sequence on $S/I$. We show that $S/I$ is pretty clean if and only if $S/(I,u_1,\ldots, u_r)$ is pretty
Bandari, Somayeh +2 more
core +3 more sources
Metals, 2022 Ceramic foam filters (CFFs) are used to remove inclusions and/or solid particles from molten metal. In general, the molten metal poured on the top of a CFF should reach a certain height to form the pressure (metal head) required to prime the filter.
Shahin Akbarnejad +3 more
doaj +1 more source
An Intermediate-band imaging survey for high-redshift Lyman Alpha Emitters: The Mahoroba-11
, 2005 We present results of our intermediate-band optical imaging survey for high-$z$ Ly$\alpha$ emitters (LAEs) using the prime focus camera, Suprime-Cam, on the 8.2m Subaru Telescope.
Ajiki, Masaru +8 more
core +1 more source
A sub-Nyquist co-prime sampling music spectral approach for natural frequency identification of white-noise excited structures [PDF]
, 2018 Motivated by practical needs to reduce data transmission payloads in wireless sensors for vibration-based monitoring of civil engineering structures, this paper proposes a novel approach for identifying resonant frequencies of white-noise excited ...
Giaralis, A., Gkoktsi, K.
core +1 more source
Measuring the Temperature of Starspots from Multi-filter Photometry
The Astronomical Journal, 2023 Using simultaneous multi-filter observations during the transit of an exoplanet around a K dwarf star, we determine the temperature of a starspot through modeling the radius and position with wavelength-dependent spot contrasts.
Maria C. Schutte +7 more
doaj +1 more source
The Universal Theory of First Order Algebras and Various Reducts [PDF]
, 2015 First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras.
Valby, Lawrence
core +1 more source
Generalized co-annihilator of BL-algebras
Open Mathematics, 2015 In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators.
Meng Biao Long, Xin Xiao Long
doaj +1 more source