We characterise strongly minimal groups interpretable in elementary extensions of compact complex analytic spaces.

Let C(L) be the ring of real-valued continuous functions on a frame L. In this paper, strongly fixed ideals and characterization of maximal ideals of C(L) which is used with strongly fixed are introduced. In the case of weakly spatial frames this characterization is equivalent to the compactness of frames. Besides, the relation of the two concepts, fixed and strongly fixed ideals of C(L), is st...

Minimal, strongly proximal actions of locally compact groups on compact spaces, also known as boundary actions, were introduced by Furstenberg in the study of Lie groups. In particular, the action of a semi-simple real Lie group G on homogeneous spaces G/Q where Q ⊂ G is a parabolic subgroup, are boundary actions. Countable discrete groups admit a wide variety of boundary actions. In this note ...

We establish theoretically that in nonmagnetic semiconducting bilayer or multilayer thin film systems rolled up into compact quasi-one-dimensional nanoarchitectures, the ballistic magnetoresistance is very anisotropic: conductances depend strongly on the direction of an externally applied magnetic field. This phenomenon originates from the curved open geometry of rolled-up nanotubes, which lead...

We explore the compact U(1) lattice gauge theory with staggered fermions and gauge field action − ∑ P [β cos(ΘP ) + γ cos(2ΘP )], both for dynamical fermions and in the quenched approximation. (ΘP denotes the plaquette angle.) In simulations with dynamical fermions at various γ ≤ −0.2 on 64 lattices we find the energy gap at the phase transition of a size comparable to the pure gauge theory for...

We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V |= ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and cofinality preserving generic extension V [G] |= ZFC + GCH in which, (a) (preservation) for κ ≤ λ regular, if V |...

We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution. This syntax can be used to represent and reason about quantum processes.

We introduce strong separation axioms in bitopological spaces. We also introduce the notion of strong pairwise compactness.