A topology on inequalities.
We prove an analogue to Dordal’s result in P.L. Dordal, A model in which the base-matrix tree cannot have cofinal branches, J. Symbolic Logic 52 (1980), 651–664. He obtained a model of ZFC in which there is a tree -base for with no branches yet of height . We establish that this is also possible for using a natural modification of Mathias forcing.
We construct a universal planar completely regular continuum. This gives a positive answer to a problem posed by J. Krasinkiewicz (1986).
Let be a -semigroup with unbounded generator . We prove that has generically a very irregular behaviour for as .
We discuss a variational problem defined on couples of functions that are constrained to take values into the 2-dimensional unit sphere. The energy functional contains, besides standard Dirichlet energies, a non-local interaction term that depends on the distance between the gradients of the two functions. Different gradients are preferred or penalized in this model, in dependence of the sign of the interaction term. In this paper we study the lower semicontinuity and the coercivity of the energy...