Related papers: Outward compactness
Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic. But on the other…
This paper is concerned with equilibrium configurations of one-dimensional particle system with non-convex nearest-neighbour and next-to-nearest-neighbour interactions and its passage to the continuum. The goal is to derive compactness…
We prove a global existence result with initial data of low regularity, and prove the trend to the equilibrium for the Vlasov-Poisson-Fokker-Planck system with small non linear term but with a possibly large exterior confining potential in…
We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly kappa+ many normal measures on the least measurable cardinal kappa. This answers a question of Stewart Baldwin. The methods…
The paper is the second of two and shows that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic…
We study the geometric significance of Leinster's notion of magnitude for a compact metric space. For a smooth, compact domain in an odd-dimensional Euclidean space, we show that the asymptotic expansion of the magnitude function at…
We relate ergodic-theoretic properties of a very small tree or lamination to the behavior of folding and unfolding paths in Outer space that approximate it, and we obtain a criterion for unique ergodicity in both cases. Our main result is…
Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object", "everything can possibly exist, unless it yields contradiction", "the ideal elements correctly determine…
We define a class of spaces on which one may generalise the notion of compactness following motivating examples from higher-dimensional number theory. We establish analogues of several well-known topological results (such as Tychonoff's…
We give different types of new characterizations for the boundedness and essential norms of generalized weighted composition operators between Zygmund type spaces. Consequently, we obtain new characterizations for the compactness of such…
A version of Woodin's HOD dichotomy is proved assuming the existence of just one strongly compact cardinal.
In this article we present and describe a notion of "logical perfection". We extract the notion of "perfection" from the contemporary logical concept of categoricity. Categoricity (in power) has become in the past half century a main driver…
Motivated by a characterization of weakly compact cardinals due to Todorcevic, we introduce a new cardinal characteristic, the C-sequence number, which can be seen as a measure of the compactness of a regular uncountable cardinal. We prove…
We generalize a result of McDonald and Taylor which concerns the size of the tuples of edge lengths in the set $C_1 \times C_2$ utilizing the notion of thickness. Specifically, we show that $C_1, C_2 \subset \mathbb{R}^d$ compact sets with…
We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Marde\v{s}i\'{c} and Prasolov…
We give a characterisation of fragmentable, compact linearly order spaces. In particular, we show that if $K$ is a compact, fragmentable, linearly ordered space then $K$ is a Radon-Nikod\'{y}m compact. In addition, we obtain some…
Continuing the previous paper, we study the Strong Downward L\"owenheim-Skolem Theorems (SDLSs) of the stationary logic and their variations. It has been shown that the SDLS for the ordinary stationary logic with weak second-order…
We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic from several perspectives. Firstly, we prove that this…
We obtain algebraic characterizations of relative notions of size in a discrete semigroup that generalize the usual combinatorial notions of syndetic, thick, and piecewise syndetic sets. "Filtered" syndetic and piecewise syndetic sets were…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…