Related papers: $G$-invariant definable Tietze extension theorem

Suppose $G$ is an amenable locally compact group. If $\{F_\gamma\} = \{F_\gamma\}_{\gamma\in\Gamma}$ is a F\o{}lner net for $G$, associate it with the net $\{\chi_{F_\gamma} / |F_\gamma|\} \subset L_1(G) \subset L_\infty^*(G)$. Thus, every…

We study the actions of a Lie group $G$ by birationally extendible automorphisms on a domain $D\subset C^n$. For a large class of such domains defined by polynomial inequalities, all automorphisms are of this type. In the cases 1) $G$ has…

In this note we extend the concept of topological stability from homeomorphisms to group actions on compact metric spaces, and prove that if an action of a finitely generated group is expansive and has the pseudo-orbit tracing property then…

It is proved that if $T$ is a $\Sigma_{n+1}$ Definable theory which is $\Sigma_n$-sound and extends $PA$, then $T$ can not prove the sentence $\Sigma_n-sound(T)$ that expresses the $\Sigma_n$-soundness of $T$. Optimality of this result is…

Given a group action, known by its infinitesimal generators, we exhibit a complete set of syzygies on a generating set of differential invariants. For that we elaborate on the reinterpretation of Cartan's moving frame by Fels and Olver…

We will show that group exactness is a von Neumann equivalence invariant. This result generalizes the previously known fact stating that group exactness is invariant under measure equivalence and W*-equivalence.

We study the invariant theory of a class of quantum Weyl algebras under group actions and prove that the fixed subrings are always Gorenstein. We also verify the Tits alternative for the automorphism groups of these quantum Weyl algebras.

We show that a finite group $G$ admitting an automorphism $\alpha$ such that the function $G\rightarrow G$, $g\mapsto g\alpha(g)$, is bijective is necessarily solvable.

We prove a general solvable subgroup theorem in terms of length functions. As applications, we obtain a solvable subgroup theorem in dynamical systems: any solvable group of finite Hirsch length acting on a smooth manifold with uniformly…

In this paper we show that the intuitionistic fixed point theory FiX^{i}(X) over set theories T is a conservative extension of T if T can manipulate finite sequences and has the full foundation schema.

We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without changing the P-part. In particular, T has the Gaifman property:…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

Itzkowitz's problem asks whether every topological group $G$ has equal left and right uniform structures provided that bounded left uniformly continuous real-valued function on $G$ are right uniformly continuous. This paper provides a…

A subset of a topological space is constructible if it is a finite Boolean combination of closed sets. We prove that every NTP$_2$ expansion of $(\mathbb{R},<,+)$ by constructible sets defines only constructible sets, and that definable…

We say that two unitary or orthogonal representations of a finitely generated group $G$ are additive conjugates if they are intertwined by an additive map, which need not be continuous. We associate to each representation of $G$ a…

We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…

We prove the following version of the Furstenberg-Zimmer structure theorem for stationary actions: Any stationary action of a locally compact second-countable group is a weakly mixing extension of a measure-preserving distal system.

I study definable sets in affine continuous logic. Let $T$ be an affine theory. After giving some general results, it is proved that if $T$ has a first order model, its extremal theory is a complete first order theory and first order…

Let $U$ be a graded unipotent group over the complex numbers, in the sense that it has an extension $\hat{U}$ by the multiplicative group such that the action of the multiplicative group by conjugation on the Lie algebra of $U$ has all its…

We first prove a version of Tietze-Urysohn's theorem for proper functions taking values in non-negative real numbers defined on $\sigma$-compact locally compact Hausdorff spaces. As its application, we prove an extension theorem of proper…