We continue the investigation of Gregory trees and the Cantor Tree Property carried out by Hart and Kunen. We produce models of MA with the Continuum arbitrarily large in which there are Gregory trees, and in which there are no Gregory trees.

We propose a new method for conducting Single Transferable Vote (STV) elections and provide a unified method for describing classic STV procedures (the Gregory Method, the Inclusive Gregory Method and the Weighted Inclusive Gregory Method) as an iterative procedure. We also propose a modification for quota definition that improves the theoretical properties of the procedures. The method is just...

This paper presents our approach for laser-based local position tracking based on the data explored in a three-dimensional environmental model of an indoor environment. This algorithm is used to substitute the dead reckoning on a mobile robot to allow robust map generation and position dependent task triggering. The underlying concept of the local environmental model used for filtering of the s...

We propose a new method of the Single Transferable Vote (STV) and give a unified way to describe classic procedures (Gregory Method, Inclusive Gregory Method and Weighted Inclusive Gregory Method) as an iterative procedure. A modification for quota definition is proposed which improves theoretical properties of the procedures. The method is justified by a new set of axioms. It is shown that thi...