Related papers: The Boolean Compactness Theorem for $\mathrm{L}_{\…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
The aim of the note is to extend the uniformization theorem to compact Kahler spaces X with mild singularities and establish a kind of rigidity of their universal coverings. We assume the fundamental group of X is large, residually finite…
We extend to incremental thermoelectroelasticity with biasing fields certain classical theorems, that have been stated and proved in linear thermopiezoelectricity referred to a natural configuration. A uniqueness theorem for the solutions…
We show how to use topological ideas, such as compactness, to establish orderability properties of infinite groups. A new application is to provide a left-ordering for the group of PL homeomorphisms of a connected surface with boundary…
Proofs of Tychonoff's theorem often seem to require a bit of magic. Machinery such as ultrafilters, nets or maximal families with the finite intersection property are employed to give proofs that can be very neat, but not the kind of thing…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
In this paper we solve a long standing problem about the bilinear $T1$ theorem to characterize the (weighted) compactness of bilinear Calder\'{o}n-Zygmund operators. Let $T$ be a bilinear operator associated with a standard bilinear…
The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
It is demonstrated that energy conservation allows for a straight derivation of Newtonian mechanics without an apriori definition of the concept of work. Furthermore it is shown that energy must be depicted as a function of position and…
Under suitable requirements on a kernel on a locally compact space, we develop a theory of inner (outer) balayage of quite general Radon measures $\omega$ (not necessarily of finite energy) onto quite general sets (not necessarily closed).…
We show that a linearly ordered topological space is initially \lambda-compact if and only if it is \lambda-bounded, that is, every set of cardinality $\leq \lambda$ has compact closure. As a consequence, every product of initially…
We study topology, particularly compactness, as an extension of Shulman's work on constructive mathematics via affine logic, while allowing propositional impredicativity. We introduce a notion of compactness in affine logic and prove the…
Analogues of Scott's isomorphism theorem, Karp's theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An "interpolation theorem" (of a particular sort…
We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number…
We prove that for any superatomic Boolean Algebra of cardinality >beth_omega there is an automorphism moving uncountably many atoms. Similarly for larger cardinals. Any of those results are essentially best possible.
We investigate the logical foundations of hyperproperties. Hyperproperties generalize trace properties, which are sets of traces, to sets of sets of traces. The most prominent application of hyperproperties is information flow security:…
We introduce a proper display calculus for first-order logic, of which we prove soundness, completeness, conservativity, subformula property and cut elimination via a Belnap-style metatheorem. All inference rules are closed under uniform…
We prove the existence of minimizers of causal variational principles on second countable, locally compact Hausdorff spaces. Moreover, the corresponding Euler-Lagrange equations are derived. The method is to first prove the existence of…
We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that,…