Related papers: A rank function for Fra\"{\i}ss\'{e} classes and t…

We give several new examples of computable structures of high Scott rank. For earlier known computable structures of Scott rank $\omega_1^{CK}$, the computable infinitary theory is $\aleph_0$-categorical. Millar and Sacks asked whether this…

We define the Polish space $\mathcal{R}$ of non-degenerate rank-1 systems. Each non-degenerate rank-1 system can be viewed as a measure-preserving transformation of an atomless, $\sigma$-finite measure space and as a homeomorphism of a…

In the binomial $\ell$-gonal model for random groups, where the random relations all have fixed length $\ell\geq 3$ and the number of generators goes to infinity, we establish a double threshold near density $d=\frac{1}{\ell}$ where the…

Using specializations of unfold and fold on a generic tree data type we derive unranking and ranking functions providing natural number encodings for various Hereditarily Finite datatypes. In this context, we interpret unranking operations…

Using an analogy with the rank theorem in differential geometry, it is shown that for a finite $n$-tuple $X$ in a tracial von Neumann algebra and any finite $m$-tuple $F$ of $*$-polynomials in $n$ noncommuting indeterminates,…

Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…

We study countable structures from the viewpoint of enumeration reducibility. Since enumeration reducibility is based on only positive information, in this setting it is natural to consider structures given by their positive atomic diagram…

Given a free group $F_k$ of rank $k\ge 2$ with a fixed set of free generators we associate to any homomorphism $\phi$ from $F_k$ to a group $G$ with a left-invariant semi-norm a generic stretching factor, $\lambda(\phi)$, which is a…

We consider the four fragments FO2, the intersection of Sigma2 and FO2, the intersection of Pi2 and FO2, and Delta2 of first-order logic FO[<] over finite and infinite words. For all four fragments, we give characterizations in terms of…

We define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials. The first section of the paper is…

For each countable ordinal $\alpha \ge 2$, the ideals $\mathsf{conv}_\alpha$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces…

For an integer $M\geq 2$ and a finite group $G$, an element $\alpha\in G$ is called an $M$-th power if it satisfies $A^M=\alpha$ for some $A\in G$. In this article, we will deal with the case when $G$ is finite symplectic or orthogonal…

The finite condensation $\sim_F$ is an equivalence relation defined on a linear order $L$ by $x \sim_F y$ if and only if the set of points lying between $x$ and $y$ is finite. We define an operation $\cdot_F$ on linear orders $L$ and $M$ by…

A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based computations. Conversely, by the Weierstrass Approximation Theorem, every continuous f:[0,1]->R is computable relative to…

For any Polish space $X$ it is well-known that the Cantor-Bendixson rank provides a co-analytic rank on $F_{\aleph_0}(X)$ if and only if $X$ is a $\sigma$-compact. In the case of $\omega^\omega$ one may recover a co-analytic rank on…

For any function $f$ in $L^{\infty}(\mathbb{D})$, let $T_f$ denote the corresponding Toeplitz operator the Bergman space $A^2(\mathbb{D})$. A recent result of D. Luecking shows that if $T_f$ has finite rank then $f$ must be the zero…

Termination property of functions is an important issue in computability theory. In this paper, we show that repeated iterations of a function can induce an order amongst the elements of its domain set. Hasse diagram of the poset, thus…

We prove that a semi-direct product of two finite rank free groups $F_k$ and $F_n$ such that $F_k$ acts on $F_n$ by polynomially growing automorphisms acts properly isometrically on a finite dimensional CAT(0) cube complex provided some…

We introduce geometric and homological finiteness properties for countable approximate groups via coarse geometry and then study these finiteness properties for S-arithmetic reductive approximate groups. For S-arithmetic approximate groups…

We study a function $\mathcal{L}_{\Gamma}$ which quantifies the LEF (local embeddability into finite groups) property for a finitely generated group $\Gamma$. We compute this "LEF growth" function in some examples, including certain wreath…