Related papers: On Mathias generic sets
We employ projective Fra\"iss\'e theory to define the "generic combinatorial $n$-simplex" as the pro-finite, simplicial complex that is canonically associated with a family of simply defined selection maps between finite triangulations of…
We prove various iteration theorems for forcing classes related to subproper and subcomplete forcing, introduced by Jensen. In the first part, we use revised countable support iterations, and show that 1) the class of subproper,…
An $m$-general set in $AG(n,q)$ is a set of points such that any subset of size $m$ is in general position. A $3$-general set is often called a capset. In this paper, we study the maximum size of an $m$-general set in $AG(n,q)$,…
Humans have an impressive ability to reason about new concepts and experiences from just a single example. In particular, humans have an ability for one-shot generalization: an ability to encounter a new concept, understand its structure,…
The aim of these lectures is to give a short introduction to forcing. We will avoid metamathematical issues as much as possible and similarly we will avoid performing the actual construction of forcing. We assume familiarity with basic…
The algebra of densities $\Den(M)$ is a commutative algebra canonically associated with a given manifold or supermanifold $M$. We introduced this algebra earlier in connection with our studies of Batalin--Vilkovisky geometry. The algebra…
A group $G$ possesses the Magnus property if for every two elements $u,v \in G$ with the same normal closure, $u$ is conjugate in $G$ to $v$ or $v^{-1}$. We prove the Magnus property for some amalgamated products including the fundamental…
The one-dimensional system of particles with a $1/x^2$ repulsive potential is known as the Calogero-Moser system. Its classical version can be generalised by substituting the coupling constants with additional degrees of freedom, which span…
A computable structure A is x-computably categorical for some Turing degree x, if for every computable structure B isomorphic to A there is an isomorphism f:B -> A with f computable in x. A degree x is a degree of categoricity if there is a…
We discuss ways of adjoining perfect sets of mutually generic random reals. In particular, we show that if V \sub W are models of ZFC and W contains a dominating real over V, then W[r], where r is random over W, contains a perfect tree of…
We present a systematic study of the method of "norms on possibilities" of building forcing notions with keeping their properties under full control. This technique allows us to answer several open problems, but on our way to get the…
Assume that $A_{1},...,A_{s}$ are complex $n\times n$ matrices. We give a computable criterion for existence of a common eigenvector of $A_{i}$ which generalize the result of D. Shemesh established for two matrices. We use this criterion to…
Generalized contextuality refers to our inability of explaining measurement statistics using a context-independent probabilistic and ontological model. On the other hand, measurement statistics can also be modeled using the framework of…
The well-known conditions for a simplicial set to be the nerve of a small category generalize with respect to two parameters: the dimension n of the things which compose, and the position i of the thing which is the result of the…
The necessary and sufficient conditions for a class of functions $f:\mathbb{Z}_2^n \rightarrow \mathbb{Z}_q$, where $q \geq 2$ is an even positive integer, have been recently identified for $q=4$ and $q=8$. In this article we give an…
I introduce a new family of axioms extending ZFC set theory, the $\Sigma_n$-correct forcing axioms. These assert roughly that whenever a forcing name $\dot{a}$ can be forced by a poset in some forcing class $\Gamma$ to have some $\Sigma_n$…
We propose a generalization of the factorization method to the case when $\mathcal{G}$ is a finite dimensional Lie algebra such that $\mathcal{G}=\mathcal{G}_0\oplus M \oplus N$ (direct sum of vector spaces), where $\mathcal{G}_0$ is a…
Let $\Gamma$ be an abelian group and $g \geq h \geq 2$ be integers. A set $A \subset \Gamma$ is a $C_h[g]$-set if given any set $X \subset \Gamma$ with $|X| = k$, and any set $\{ k_1 , \dots , k_g \} \subset \Gamma$, at least one of the…
We will say that a group G possesses the Magnus property if for any two elements u,v in G with the same normal closure, u is conjugate to v or v^{-1}. We prove that some one-relator groups, including the fundamental groups of closed…
We analyse general form of theory with the dynamical determinant of metric. We show that due to the presence of general function of determinant that multiplies scalar curvature Hamiltonian constraint is either second class constraint or it…