An Embellished Account of Agafonov's Proof of Agafonov's Theorem

07/07/2020
by   Thomas Seiller, et al.
0

We give an account of Agafonov's original proof of his eponymous theorem. The original proof was only reported in Russian in a journal not widely available, and the work most commonly cited in western literature is instead the english translation of a summary version containing no proofs. The account contains some embellishments to Agafonov's original arguments, made in the interest of clarity, and provides some historical context to Agafonov's work.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/09/2018

Proof Simplification and Automated Theorem Proving

The proofs first generated by automated theorem provers are far from opt...
research
03/29/2019

Corrigendum to "Counting Database Repairs that Satisfy Conjunctive Queries with Self-Joins"

The helping Lemma 7 in [Maslowski and Wijsen, ICDT, 2014] is false. The ...
research
01/30/2019

A New Proof of Nonsignalling Multiprover Parallel Repetition Theorem

We present an information theoretic proof of the nonsignalling multiprov...
research
12/17/2020

Partial Network Identifiability: Theorem Proof and Evaluation

This is a technical report, containing all the theorem proofs and additi...
research
12/17/2020

Node Failure Localization: Theorem Proof

This is a technical report, containing all the theorem proofs in paper "...
research
08/07/2020

A Historical Account of My Early Research Interests

This paper presents a brief account of some of the my early research int...
research
01/26/2018

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

MapReduce frameworks are widely used for the implementation of distribut...

Please sign up or login with your details

Forgot password? Click here to reset