Related papers: Generic Coding with Help and Amalgamation Failure

Let Rep(F;K) denote the category of functors from finite dimensional F-vector spaces to K-modules, where F is a field and K is a commutative ring. We prove that, if F is a finite field, and Char F is invertible in K, then the K-linear…

We show that the theory ZFC-, consisting of the usual axioms of ZFC but with the power set axiom removed-specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every…

Let $X$ and $Y$ be topological spaces, let $Z$ be a metric space, and let $f: X\times Y\to Z$ be a mapping. It is shown that when $Y$ has a countable base $\mathcal B$, then under a rather general condition on the set-valued mappings $X\ni…

We show that autoregressive decoding of a transformer-based language model can realize universal computation, without external intervention or modification of the model's weights. Establishing this result requires understanding how a…

We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q$, $\langle L[P],\in ,P \rangle$ and…

Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and…

Let $L/K$ be a finite, totally ramified $p$-extension of complete local fields with residue fields of characteristic $p > 0$, and let $A$ be a $K$-algebra acting on $L$. We define the concept of an $A$-scaffold on $L$, thereby extending and…

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…

A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…

Let $G$ be a group, $m\geq2$ and $n\geq1$. We say that $G$ is an $\mathcal{T}(m,n)$-group if for every $m$ subsets $X_1, X_2, \dots, X_m$ of $G$ of cardinality $n$, there exists $i\neq j$ and $x_i \in X_i, x_j \in X_j$ such that…

In this paper it is introduced a generic large cardinal akin to I0, and its consequences are analyzed in the case that $\aleph_\omega$ is such a generic large cardinal. In this case $\aleph_\omega$ is J\'{o}nsson, and in a choiceless inner…

Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of \omega_1 can be made \Delta^1_3 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a \Delta^1_3…

We study limit models in the class of abelian groups with the subgroup relation and in the class of torsion-free abelian groups with the pure subgroup relation. We show: $\textbf{Theorem}$ (1) If $G$ is a limit model of cardinality…

It is well known that, for any finitely generated torsion module M over the Iwasawa algebra Z_p [[{\Gamma} ]], where {\Gamma} is isomorphic to Z_p, there exists a continuous p-adic character {\rho} of {\Gamma} such that, for every open…

Given a number field $F$, a finite group $G$ and an indeterminate $T$, {\it{a $G$-parametric extension over $F$}} is a finite Galois extension $E/F(T)$ with Galois group $G$ and $E/F$ regular that has all the Galois extensions of $F$ with…

Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can…

We lay the ground for an Isabelle/ZF formalization of Cohen's technique of forcing. We formalize the definition of forcing notions as preorders with top, dense subsets, and generic filters. We formalize the definition of forcing notions as…

Given a finite group $G$ and a subset $X$ of $G$, the commuting graph of $G$ on $X$, denoted by ${\cal C}(G,X)$, is the graph that has $X$ as its vertex set with $x,y\in X$ joined by an edge whenever $x\neq y$ and $xy=yx$. Let $T$ be a…

With every nontrivial connected algebraic group $G$ we associate a positive integer ${\rm gtd}(G)$ called the generic transitivity degree of $G$ and equal to the maximal $n$ such that there is a nontrivial action of $G$ on an irreducible…

We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface $\Pi^1_2$ set of reals containing no ordinal-definable real.