English
Related papers

Related papers: Weakly 2-randoms and 1-generics in Scott sets

200 papers

We construct the algebra of fractions of a Weak Bialgebra relative to a suitable denominator set of group-like elements that is `almost central', a condition we introduce in the present article which is sufficient in order to guarantee…

Quantum Algebra · Mathematics 2013-08-09 Steve Bennoun , Hendryk Pfeiffer

We discuss the abstract structure of sequential weak measurement (WM) of general observables. In all orders, the sequential WM correlations without post-selection yield the corresponding correlations of the Wigner function, offering direct…

Quantum Physics · Physics 2016-07-13 Lajo Diósi

We deal with the random combinatorial structures called assemblies. By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the…

Probability · Mathematics 2009-03-06 Eugenijus Manstavičius

Finite automata whose computations can be reversed, at any point, by knowing the last k symbols read from the input, for a fixed k, are considered. These devices and their accepted languages are called k-reversible automata and k-reversible…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Giovanna J. Lavado , Giovanni Pighizzini , Luca Prigioniero

This paper investigates the effective categoricity of ultrahomogeneous structures. It is shown that any computable ultrahomogeneous structure is $\Delta^0_2$ categorical. A structure A is said to be weakly ultrahomogeneous if there is a…

Logic · Mathematics 2016-08-04 Francis Adams , Douglas Cenzer

Let G_<(n,p) denote the usual random graph G(n,p) on a totally ordered set of n vertices. We will fix p=1/2 for definiteness. Let L^< denote the first order language with predicates equality (x=y), adjacency (x~y) and less than (x<y). For…

Logic · Mathematics 2016-09-06 Saharon Shelah

A weakly consecutive sequence (WCS) is a permutation $\sigma$ of $\{1, \ldots, k\}$ such that if an integer $d$ divides $\sigma(i)$, then $d$ also divides $\sigma(i \pm d)$ insofar as these are defined. The structure of weakly consecutive…

Combinatorics · Mathematics 2024-01-19 Thomas Garrison , Chris Seiler , Andrew Knowles

We consider an ensemble of classical particles coupled to a Klein-Gordon field. For the resulting nonlinear system of partial differential equations, which we call the relativistic Vlasov-Klein-Gordon system, we prove the existence of…

Analysis of PDEs · Mathematics 2009-11-07 Michael Kunzinger , Gerhard Rein , Roland Steinbauer , Gerald Teschl

A random vector ${\bf X}$ is weakly stable iff for all $a,b\in \mathbb{R}$ there exists a random variable $\Theta$ such that $a{\bf X}+b{\bf X}'\stackrel{d}{=}{\bf X}\Theta$. This is equivalent (see \cite{MOU}) with the condition that for…

Probability · Mathematics 2007-05-23 Jolanta K. Misiewicz

A subset $X$ of a groupoid is said to be deficient if $|X \cdot X|\leq |X|$. It is well-known that the probability that a random groupoid has a deficient $t$-element set with $t\geq 3$ is zero. However, as conjectured in [4], we show that…

Group Theory · Mathematics 2024-07-25 Carles Cardó

We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-standard model can have Scott rank less than $\omega$ and that non-standard models of true arithmetic must have Scott rank greater than…

Logic · Mathematics 2022-08-04 Antonio Montalbán , Dino Rossegger

If a separable Banach space $X$ is such that for some nonquasireflexive Banach space $Y$ there exists a surjective strictly singular operator $T:X\to Y$ then for every countable ordinal $\alpha $ the dual of $X$ contains a subspace whose…

Functional Analysis · Mathematics 2010-09-07 Mikhail I. Ostrovskii

A group $G$ given by a presentation $G = < \mathcal A \| \mathcal R >$ is called weakly finitely presented if every finitely generated subgroup of $G$, generated by (images of) some words in $\mathcal A^{\pm 1}$, is naturally isomorphic to…

Group Theory · Mathematics 2007-05-23 S. V. Ivanov

We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rational unification by constraints x$\subseteq$ y saying that…

cmp-lg · Computer Science 2008-02-03 Martin Mueller , Joachim Niehren

A random vector ${\bf X}$ is weakly stable iff for all $a,b \in \mathbb{R}$ there exists a random variable $\Theta$ such that $a{\bf X} + b {\bf X}' \stackrel{d}{=} {\bf X} \Theta$, where $X'$ is an independent copy of $X$ and $\Theta$ is…

Probability · Mathematics 2014-07-16 B. H. Jasiulis-Gołdyn , J. K. Misiewicz

We give a simple, elementary proof that a uniform algebra is weakly sequentially complete if and only if it is finite-dimensional.

Functional Analysis · Mathematics 2023-07-04 J. F. Feinstein , Alexander J. Izzo

We show that the weak value of any observable in pre- and post-selected states can be expressed as the sum of the average of the observable in the pre-selected state and an anomalous part. We argue that at a fundamental level the anomalous…

Quantum Physics · Physics 2014-10-21 Arun Kumar Pati , Junde Wu

We prove that a random group, in Gromov's density model with $d < 1/16$ satisfies with overwhelming probability a universal-existential first-order sentence $\sigma$ (in the language of groups) if and only if $\sigma$ is true in a…

Logic · Mathematics 2022-12-23 Olga Kharlampovich , Rizos Sklinos

The authors of a recent paper [Phys. Rev. Lett. 113, 120404 (2014)] suggest that "weak values are not inherently quantum but rather a purely statistical feature of pre- and postselection with disturbance". We argue that this claim is…

Quantum Physics · Physics 2014-10-17 D. Sokolovski

A set $G \subseteq \omega$ is $n$-generic for a positive integer $n$ if and only if every $\Sigma^0_n$ formula of $G$ is decided by a finite initial segment of $G$ in the sense of Cohen forcing. It is shown here that every $n$-generic set…

Logic · Mathematics 2017-01-11 Wei Wang