Related papers: Polish G-spaces, the generalized model theory and …

We consider stability theory for Polish spaces and more generally for definable structures (say, with elements of a set of reals). We clarify by proving some equivalent conditions for $\aleph_0$-stability. We succeed to prove existence of…

We use countable metric spaces to code Polish metric spaces and evaluate the complexity of some statements about these codes and of some relations that can be determined by the codes. Also, we propose a coding for continuous functions…

We study an extensive connection between factor forcings of Borel subsets of Polish spaces modulo a sigma-ideal, and factor forcings of subsets of countable sets modulo an ideal.

We prove in ZF a recursive-theoretic characterization of the Topological Vaught Conjecture by revisiting the fact that orbits in Polish $G$-spaces are Borel sets.

We prove that every open $\sigma$-locally Polish groupoid $G$ is Borel equivalent to the groupoid of models on the Urysohn sphere $\mathbb{U}$ of an $\mathcal{L}_{\omega_1\omega}$-sentence in continuous logic. In particular, the orbit…

We develop a unified framework for locating natural properties of algebraic and analytic structures within the Borel hierarchy. Objects are presented as quotients of a universal generator and definability is read directly from the quotient…

A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…

In this paper, we determine the descriptive complexity of subsets of the Polish space of marked groups defined by various group theoretic properties. In particular, using Grigorchuk groups, we establish that the sets of solvable groups,…

Given a space $X$ we investigate the descriptive complexity class $\G_X$ of the set $\FF_0(X)$ of all its closed zero-dimensional subsets, viewed as a subset of the hyperspace $\FF(X)$ of all closed subsets of $X$. We prove that $\max \{…

In first order logic, it is known that you can define a topology so that the countable models of some theory $T$ form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational…

Let G be a closed subgroup of the group of all permutations of a countably infinite set. Let X be a Polish G-space with a countable basis A of clopen sets. Each x from X defines a characteristic function f on A by f(U)=1 iff x belongs to U…

This paper introduces a notion of generalised geometric logic. Connections of generalised geometric logic with L-topological system and L-topological space are established.

In this paper a systematic study of the category GTS of generalized topological spaces (in the sense of H. Delfs and M. Knebusch) and their strictly continuous mappings begins. Some completeness and cocompleteness results are achieved.…

We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of…

We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…

Descriptive set theory was originally developed on Polish spaces. It was later extended to $\omega$-continuous domains [Selivanov 2004] and recently to quasi-Polish spaces [de Brecht 2013]. All these spaces are countably-based. Extending…

We introduce the notion of generalized Weyl system, and use it to define *-products which generalize the commutation relations of Lie algebras. In particular we study in a comparative way various *-products which generalize the k-Minkowski…

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism),…

This paper presents a research program dedicated to evaluating and advancing the reasoning capabilities of Bielik, a Polish large language model. The study describes a number of stages of work: initial benchmarking and creation of…

The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, $\mathbf{\Pi}_2^0$ subspaces of $\mathcal{P}(\mathbb{N})$, and sober spaces of countably presented frames. In this paper, we…