Improving a result of M. Rabus we force a normal, locally compact, 0-dimensional, Frechet-Uryson, initially ω1-compact and non-compact space X of size ω2 having the following property: for every open (or closed) set A in X we have |A| ≤ ω1 or |X \A| ≤ ω1.

We construct Boolean-valued term models and describe their universal properties. The underlying set of these models consists of the terms of the underlying language, while formulae are interpreted in the Lindenbaum-Tarski algebra of open formulae. Subspaces of the Stone space of the Lindenbaum-Tarski algebra of open formulae are shown to be homeomorphic to spaces of enumerated models models equ...

We study the concept of finitary formal topology, a point-free version of a topological space with a basis of compact open subsets. The notion of finitary formal topology is defined from the perspective of the Basic Picture (introduced by the second author) and thus it is endowed with a binary positivity relation. As an application, we prove a constructive version of Stone’s representation theo...

For the eigenvalue function on symmetric matrices, we have gathered a number of it’s properties.We show that this map has the properties of continuity, strict continuity, directional differentiability, Frechet differentiability, continuous  differentiability. Eigenvalue function will be extended to a larger set of matrices and then the listed properties will prove again.