Spaces of urelements
Spaces of urelements, II
Spaces related to gamma-sets
Special issue: Editorial [Papers from 8th International Conference on Fuzzy Sets - Theory and Applications, FSTA 2006]
Special Issue: Editorial [Selected papers from 7th FSTA Conference, 2004]
Special Issue: Guest editorial [Summer School on Aggregation Operators, Related Techniques and Their Applications AGOP'2003]
Special m-hyperidentities in biregular leftmost graph varieties of type (2,0)
Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies a term equation s ≈ t if the corresponding graph algebra satisfies s ≈ t. A class of graph algebras V is called a graph variety if where Σ is a subset of T(X) × T(X). A graph variety is called a biregular leftmost graph variety if Σ’ is a set of biregular leftmost term equations. A term equation s ≈ t is called an identity in a variety...
Specifying t-norms based on the value of T (1/2, 1/2).
We study here the behavior of the t-norms at the point (1/2, 1/2). We indicate why this point can be considered as significant in the specification of t-norms. Then, we suggest that the image of this point can be used to classify the t-norms. We consider some usual examples. We also study the case of parameterized t-norms. Finally using the results of this study, we propose a uniform method of computing the parameters. This method allows not only having the same parameter-scale for all the families,...
Spectra of differential rings
Spectra of uniformity
We study some limitations and possible occurrences of uniform ultrafilters on ordinals without the axiom of choice. We prove an Easton-like theorem about the possible spectrum of successors of regular cardinals which carry uniform ultrafilters; we also show that this spectrum is not necessarily closed.
Spectral resolutions for -complete lattice effect algebras
Speed-up for propositional Frege systems via generalizations of proofs
Spezielle Gleichungen in freien Halbgruppen und eine Anwendung auf Normalformen regulärer Ereignisse
Spherical completeness with infinitesimals.
In the theory of nonarchimedean normed spaces over valued fields other than R or C, the property of spherical completeness is of utmost importance in several contexts, and it appears to play the role conventional completeness does in some topics of classical functional analysis. In this note we give various characterizations of spherical completeness for general ultrametric spaces, related to but different from the notions of pseudo-convergent sequence and pseudo-limit introduced by Ostrowski in...
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.
Splitting lattices of logics.
Splitting stationary sets in for λ with small cofinality
For a regular uncountable cardinal κ and a cardinal λ with cf(λ) < κ < λ, we investigate the consistency strength of the existence of a stationary set in which cannot be split into λ⁺ many pairwise disjoint stationary subsets. To do this, we introduce a new notion for ideals, which is a variation of normality of ideals. We also prove that there is a stationary set S in such that every stationary subset of S can be split into λ⁺ many pairwise disjoint stationary subsets.
Splitting -covers
The authors give a ZFC example for a space with but not .
Společný spůsob dokazování různých pouček a vzorců. [I.]
Společný spůsob dokazování různých pouček a vzorců. [II.]