Related papers: Generic Coding with Help and Amalgamation Failure

We present a variety of refined conditions for $\sigma$ algebras $\mathcal{A}$ (on a set $X$), $\mathcal{F}, \mathcal{G}$ (on a set $U$) such that the distributivity equation…

We sow that there exists a generic extension of the G\"{o}del's constructible universe in which diamond holds and there exists a subset $Y \subseteq \omega_1$ such that for stationary many $\delta < \omega_1,$ the set $Y \cap \delta$ is not…

Let $L(G)$ denote the space of integer-valued length functions on a countable group $G$ endowed with the topology of pointwise convergence. Assuming that $G$ does not satisfy any non-trivial mixed identity, we prove that a generic (in the…

We show that finitely generated irreducible $\mathrm{II}_1$ subfactors are generic in the following sense. Given a separable $\mathrm{II}_1$ factor $M$ and an integer $n\geq 2$, equip the set of $n$-tuples of self-adjoint operators in $M$…

In the context of Hrushovski constructions we take a language $ \mathcal{L} $ with a ternary relation $ R $ and consider the theory of the generic models $ M^{*}_{\alpha}, $ of the class of finite $ \mathcal{L}$-structures equipped with…

We investigate iterating the construction of $C^{*}$, the $L$-like inner model constructed using first order logic augmented with the "cofinality $\omega$" quantifier. We first show that $\left(C^{*}\right)^{C^{*}}=C^{*}\ne L$ is…

The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a…

Generalised almost complex structures $\mathcal J$ on transitive Courant algebroids $E$ are studied in terms of their components with respect to a splitting $E\cong TM \oplus T^*M \oplus \mathcal G$, where $M$ denotes the base of $E$ and…

The paper is the second of our series of notes aimed to bring back in circulation some bright ideas of early modern set theory, mainly due to Harrington and Sami, which have never been adequately presented in set theoretic publications. We…

Disjoint $n$-amalgamation is a condition on a complete first-order theory specifying that certain locally consistent families of types are also globally consistent. In this paper, we show that if a countably categorical theory $T$ admits an…

Assume ZF (without the Axiom of Choice). Let $j:V_\varepsilon\to V_\delta$ be a non-trivial $\in$-cofinal $\Sigma_1$-elementary embedding, where $\varepsilon,\delta$ are limit ordinals. We prove some restrictions on the constructibility of…

In [2] Su Gao proves that the following are equivalent for a countable $M$ (cf. theorem 1.2 too): (I)There is an uncountable model of the Scott sentence of $M$. (II) There exists some $j\in \overline{Aut(M)}\setminus Aut(M)$, where…

We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies…

This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let $\Gamma$ be the Turing ideal in which we take the dense open sets. The set of $\Gamma$-Cohen generics has measure positive if and only if…

We show that the existence of a universal structure implies the existence of a generic structure for any approximable class $\mathcal{C}$ of countable structures. We also show that the converse is not true. As a consequence, we provide…

Consider a transitive action of a Lie group $G$ on a (real analytic) manifold $M$ of dimension $m$, and two (embedded) submanifolds $A$ and $B$ in $M$ of sufficiently large class and of dimension $k$ and $l$, respectively. We prove that,…

In this paper we isolate a new criterion for when a given real $x$ is generic over $L$ in terms of $x$'s capability of lifting elementary embeddings of initial segments of $L$.

Let $R$ be a commutative Noetherian ring with non-zero identity and $\fa$ an ideal of $R$. Let $M$ be a finite $R$--module of of finite projective dimension and $N$ an arbitrary finite $R$--module. We characterize the membership of the…

We study whether a unital associative algebra $ A $ over a field admits a decomposition of the form $A = Z(A) + [A,A]$ where $ Z(A) $ is the center of $ A $ and $ [A,A] $ denotes the additive subgroup of $A$ generated by all additive…

In this note we prove several theorems that are related to some results and problems from [6]. We answer two of the main problems that were raised in [6]. First we give a ZFC example of a Hausdorff space in $C(\omega_1)$ that has…