Related papers: Ordinal ultrafilters versus P-hierarchy
The paper focuses on the structure of fundamental sequences of ordinals smaller than $\epsilon_0$. A first result is the construction of a monadic second-order formula identifying a given structure, whereas such a formula cannot exist for…
We give an alternative presentation of the ordinal notation at the strength of $\Pi^1_1-CA_0$ which allows the "uncountable" notation $\Omega$ to be interpreted "polymorphically" - that is, we allow the notation to be interpreted as…
In recent years, several problems regarding the partition regularity of exponential configurations have been studied in the literature, in some cases using the properties of specific ultrafilters. In this paper, we start to lay down the…
A union ultrafilter is an ultrafilter over the finite subsets of $\omega$ that has a base of sets of the form $\mathrm{FU}(X)$, where $X$ is an infinite pairwise disjoint family and $\mathrm{FU}(X)=\{\bigcup…
We show the consistency of: the set of regular cardinals which are the character of some ultrafilter on omega can be quite chaotic, in particular not only can be not convex but can have many gaps. We also deal with the set of pi-characters…
In the present survey paper, we present several new classes of Hochster's spectral spaces "occurring in nature", actually in multiplicative ideal theory, and not linked to or realized in an explicit way by prime spectra of rings. The…
This paper contributes to the set-theoretic side of understanding Keisler's order. We consider properties of ultrafilters which affect saturation of unstable theories: the lower cofinality $\lcf(\aleph_0, \de)$ of $\aleph_0$ modulo $\de$,…
We investigate the occurrence of elements of order $p$ in the upper central series of a finite $p$-group.
We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an…
In this paper, we obtain some application of first-order differential subordination, superordination and sandwich-type results involving operator for certain normalized $p$-valent analytic functions. Further, properties of $p$-valent…
This is a translation into English of a paper written in French, published in Tatra Mountains Mathematical Publications, {L'ultrafiltre, un outil incomparable}, Tatra Mt. Math. Publ. {\bf 31} (2005), 131-176.It was also posted as…
In this survey one discusses the notion of the Poincar\'e series of multi-index filtrations, an alternative approach to the definition, a method of computation of the Poincar\'e series based on the notion of integration with respect to the…
We characterize the equality between ultradifferentiable function classes defined in terms of abstractly given weight matrices and in terms of the corresponding matrix of associated weight functions by using new growth indices. These…
The interrelations between various classes of convergence spaces defined by countability conditions are studied. Remarkably, they all find characterizations in the usual space of ultrafilters in terms of classical topological properties.…
Finite groups with given systems of permuteral and strongly permuteral subgroups are studied. New characterizations of w-supersoluble and supersoluble groups are received.
In the article 'Ordinal Logics and the Characterizations of the Informal Concept of Proof', Georg Kreisel poses the problem of assigning unique notations to recursive ordinals, and additionally suggests that the methods which are developed…
It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by…
Inclusion preserving maps from modules over an Artin algebra to complete partially ordered sets are studied. This yields a filtration of the Ziegler spectrum which is indexed by all Gabriel-Roiter measures. Another application is a…
We generalize to the relations $(\lambda, \mu) \stackrel{\kappa}{\Rightarrow} (\lambda', \mu')$ and $\alm (\lambda, \mu) \stackrel{\kappa}{\Rightarrow} \alm (\lambda', \mu')$ some results obtained in Parts II and IV. We also present a…
We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…