相关论文: The ultrafilter: A peerless tool

We develop the foundations of effective ultraproducts of fields and their Galois groups using the methods of computability theory. These computability-theoretic analogs of ultraproducts are called cohesive products, since the role of an…

We prove in this paper that there exists some infinitary rational relations which are analytic but non Borel sets, giving an answer to a question of Simonnet [Automates et Th\'eorie Descriptive, Ph. D. Thesis, Universit\'e Paris 7, March…

We prove that \textsf{P}-points (even strong P-points) and Gruff ultrafilters exist in any forcing extension obtained by adding fewer than $\aleph_{\omega}% $-many random reals to a model of \textsf{CH. }These results improve and correct…

A Michael space is a Lindel\"of space which has a non-Lindel\"of product with the Baire space. In this work, we present the notion of Michael ultrafilter and we use it to construct a Michael space under the existence of a selective…

The main goal of this paper is to characterize arbitrary nonlinear (non-multilinear) mappings $f:X_{1}\times...\times X_{n}\rightarrow Y$ between Banach spaces that satisfy a quite natural Pietsch Domination-type theorem around a given…

This paper deals with variety of problems in pcf theory and infinitary combinatorics. We look at normal filters and prc, measures of the size of [lambda]^{<kappa}, pcf-inaccessibility, entangled orders (and narrow Boolean Algebras),…

This thesis addresses Pour-El and Richards' fourth question from their book "Computability in analysis and physics", concerning the relation between higher order recursion theory and computability in analysis. Among other things it is shown…

We develop an analysis of wavelets and pseudodifferential operators on multidimensional ultrametric spaces which are defined as products of locally compact ultrametric spaces. We introduce bases of wavelets, spaces of generalized functions…

We look at various questions related to filtrations in $p$-adic Hodgetheory, using a blend of building and Tannakian tools. Specifically,Fontaine and Rapoport used a theorem of Laffaille on filtered isocrystalsto establish a converse of…

This expository essay discusses a finite dimensional approach to dilation theory. How much of dilation theory can be worked out within the realm of linear algebra? It turns out that some interesting and simple results can be obtained. These…

Preference cycles are prevalent in problems of decision-making, and are contradictory when preferences are assumed to be transitive. This contradiction underlies Condorcet's Paradox, a pioneering result of Social Choice Theory, wherein…

The logic L^1_\theta introduced in [Sh:797]; it is the maximal logic below L_theta theta in which a well ordering is not definable. We investigate it for theta a compact cardinal. We prove it satisfies several parallel of classical theorems…

There exist two distinct types of ultrafilter extensions of binary relations, one discovered in universal algebra and modal logic, and another, in model theory and algebra of ultrafilters. We show that the extension of the latter type is…

We study ultrafilters on $\omega^2$ produced by forcing with the quotient of $\scr P(\omega^2)$ by the Fubini square of the Fr\'echet filter on $\omega$. We show that such an ultrafilter is a weak P-point but not a P-point and that the only…

This work is devoted to a vast extension of Sanov's theorem, in Laplace principle form, based on alternatives to the classical convex dual pair of relative entropy and cumulant generating functional. The abstract results give rise to a…

Our method of density elimination is generalized to the non-commutative substructural logic GpsUL*. Then the standard completeness of GpsUL* follows as a lemma by virtue of previous work by Metcalfe and Montagna. This result shows that…

Motivated by the model theory of higher order logics, a certain kind of topological spaces had been introduced on ultraproducts. These spaces are called ultratopologies. Ultratopologies provide a natural extra topological structure for…

We study the question which Boolean algebras have the property that for every generating set there is an ultrafilter selecting maximal number of its elements. We call it the ultrafilter selection property. For cardinality aleph-one the…

Let $X$ be the prime spectrum of a ring. In [arXiv:0707.1525] the authors define a topology on $X$ by using ultrafilters and they show that this topology is precisely the constructible topology. In this paper we generalize the construction…

We present a geometric perspective on sparse filtrations used in topological data analysis. This new perspective leads to much simpler proofs, while also being more general, applying equally to Rips filtrations and Cech filtrations for any…