Related papers: Shelah Ultrafilters
We consider the Euler approach to construction and to investigation of the superintegrable systems related to the addition theorems. As an example we reconstruct Drach systems and get some new two-dimensional superintegrable Stackel…
We consider $(<\lambda)$-support iterations of a version of $(<\lambda)$-strategically complete $\lambda^+$-c.c. definable forcing notions along partial orders. We show that such iterations can be corrected to yield an analog of a result by…
Recent results on search (theoretical prediction, high-pressure synthesis, etc.) for novel superhard and ultrahard materials are briefly reviewed.
An embedding theorem for algebraic systems is presented, basing on a certain old ultrafilter construction. As an application, we outline alternative proofs of some results from the theory of PI algebras, and establish some properties of…
A divisibility relation on ultrafilters is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also belongs to $\cal G$. After describing the…
Shelah shows that certain revised countable support (RCS) iterations do not add reals. His motivation is to establish the independence (relative to large cardinals) of Avraham's problem on the existence of uncountable non-constuctible…
We develop the theory of the forcing with trees and creatures for an inaccessible lambda continuing Ros{\l}anowski and Shelah math.LO/9807172, math.LO/9909115. To make a real use of these forcing notions (that is to iterate them without…
We define a family of a (non-principal) ultrafilters on N which are, in a sense, far from P-points. We first under reasonable conditions, prove its existence. In a continuation we shall prove that such a point may exist while no P-point…
We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.
We classify Borel-Schur algebras having finite representation type. We also de- termine Auslander-Reiten sequences for a large class of simple modules over Borel- Schur algebras. A partial information on the structure of the socles of…
This article introduces the idea of implicative filters in quasi ordered RL-Wajsberg algebras and uses examples to explore some of its features.
The concepts used in IFOL have associated to them a list of sorted attributes, and the sorts are the intensional concepts as well. The requirement to extend the unsorted IFOL (Intensional FOL) to many-sorted IFOL is mainly based on the fact…
In this paper, we introduce the concept of filter on IL-algebra. It is proved that this concept generalizes the notion of filter on Residuated Lattices. Prime filters on IL-algebra are defined and few interesting properties are obtained. It…
We use methods from birational geometry to study the Hodge and weight filtrations on the localization along a hypersurface. We focus on the lowest piece of the Hodge filtration of the submodules arising from the weight filtration. This…
Assuming an abstract comparison principle called the Ultrapower Axiom, which is motivated by the comparison process of inner model theory and generalizes the statement that the Mitchell order is linear on normal ultrafilters, we…
An analogue of Serre's theorem is established for finite dimensional simple Lie superalgebras, which describes presentations in terms of Chevalley generators and Serre type relations relative to all possible choices of Borel subalgebras.…
We present a version with non-definable forcing notions of Shelah's theory of iterated forcing along a template. Our main result, as an application, is that, if $\kappa$ is a measurable cardinal and $\theta<\kappa<\mu<\lambda$ are…
We discuss how one can use certain filters from signal processing to describe isomorphisms between certain projective $C(\mathbb T^n)$-modules. Conversely, we show how cancellation properties for finitely generated projective modules over…
Using ultrafilter techniques we show that in any partition of $\mathbb{N}$ into 2 cells there is one cell containing infinitely many exponential triples, i.e. triples of the kind $a,b,a^b$ (with $a,b>1$). Also, we will show that any…
This paper continues the study of the Ramsey-like large cardinals. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such…