arXiv subjects
Publications and source records attributed to B. Majcher-Iwanow.
Given Polish space ${\bf Y}$ and continuous language $L$ we study the corresponding logic $\mathsf{Iso}({\bf Y})$-space ${\bf Y}_L$. We build a framework of generalized model theory towards analysis of Borel/algorithmic complexity of subsets of ${\bf Y}^k_L \times (\mathsf{Iso} ({\bf Y})^l$. The paper substantially develops (and corrects) Section 5 of arxiv:1304.5135. The second version is extended by Remark 3.4.
The relations of almost containedness and orthogonality in the lattice of groups of finitary permutations are studied in the paper. We define six cardinal numbers naturally corresponding to to these relations by the standard scheme of $P(ω)$. We obtain some consistency results concerning these numbers and some versions of the Ramsey theorem.
We define some coding of Borel sets in admissible sets. Using this we generalize certain results from model theory involving admissible sets to the case of continuous actions of closed permutation groups on Polish spaces. In particular we obtain counterparts of Nadel's theorems about relationships between Scott sentences and admissible sets.