Lemmas in set theory | Determinacy | Axioms of set theory | Large cardinals

Moschovakis coding lemma

The Moschovakis coding lemma is a lemma from descriptive set theory involving sets of real numbers under the axiom of determinacy (the principle — incompatible with choice — that every two-player integer game is determined). The lemma was developed and named after the mathematician Yiannis N. Moschovakis. The lemma may be expressed generally as follows: Let Γ be a non-selfdual pointclass closed under real quantification and ∧, and ≺ a Γ-well-founded relation on ωω of rank θ ∈ ON. Let R ⊆ dom(≺) × ωω be such that (∀x∈dom(≺))(∃y)(x R y). Then there is a Γ-set A ⊆ dom(≺) × ωω which is a choice set for R , that is: 1. * (∀α<θ)(∃x∈dom(≺),y)(|x|≺=α ∧ x A y). 2. * (∀x,y)(x A y → x R y). A proof runs as follows: suppose for contradiction θ is a minimal counterexample, and fix ≺, R, and a good universal set U ⊆ (ωω)3 for the Γ-subsets of (ωω)2. Easily, θ must be a limit ordinal. For δ < θ, we say u ∈ ωω codes a δ-choice set provided the property (1) holds for α ≤ δ using A = U u and property (2) holds for A = U u where we replace x ∈ dom(≺) with x ∈ dom(≺) ∧ |x| ≺ [≤δ]. By minimality of θ, for all δ < θ, there are δ-choice sets. Now, play a game where players I, II select points u,v ∈ ωω and II wins when u coding a δ1-choice set for some δ1 < θ implies v codes a δ2-choice set for some δ2 > δ1. A winning strategy for I defines a Σ11 set B of reals encoding δ-choice sets for arbitrarily large δ < θ. Define then x A y ↔ (∃w∈B)U(w,x,y), which easily works. On the other hand, suppose τ is a winning strategy for II. From the s-m-n theorem, let s:(ωω)2 → ωω be continuous such that for all ϵ, x, t, and w, U(s(ϵ,x),t,w) ↔ (∃y,z)(y ≺ x ∧ U(ϵ,y,z) ∧ U(z,t,w)). By the recursion theorem, there exists ϵ0 such that U(ϵ0,x,z) ↔ z = τ(s(ϵ0,x)). A straightforward induction on |x|≺ for x ∈ dom(≺) shows that (∀x∈dom(≺))(∃!z)U(ϵ0,x,z), and (∀x∈dom(≺),z)(U(ϵ0,x,z) → z encodes a choice set of ordinal ≥|x|≺). So let x A y ↔ (∃z∈dom(≺),w)(U(ϵ0,z,w) ∧ U(w,x,y)). (Wikipedia).

Video thumbnail

Trigonometry 8 The Tangent and Cotangent of the Sum and Difference of Two Angles.mov

Derive the tangent and cotangent trigonometric identities.

From playlist Trigonometry

Video thumbnail

3A Matrix Addition and Subtraction-YouTube sharing.mov

Learn how to add and subtract matrices.

From playlist Linear Algebra

Video thumbnail

2 Construction of a Matrix-YouTube sharing.mov

This video shows you how a matrix is constructed from a set of linear equations. It helps you understand where the various elements in a matrix comes from.

From playlist Linear Algebra

Video thumbnail

Integration 12 Trigonometric Integration Part 5 Example 1.mov

Example of trigonometric integration.

From playlist Integration

Video thumbnail

Differentiation _ Explaining Differentiation.mov

Explains the connection between a limit, differentiation, and distance and velocity in classical mechanics.

From playlist Differentiation

Video thumbnail

Moulay Barkatou 7/8/14 Part 2

Title: Algorithms for Finding Rational Solutions of Linear Differential and Difference Equations and Their Complexity

From playlist Spring 2014

Video thumbnail

(IC 4.8) Optimality of Huffman codes (part 3) - sibling codes

We prove that Huffman codes are optimal. In part 3, we show that there exists a "sibling code". A playlist of these videos is available at: http://www.youtube.com/playlist?list=PLE125425EC837021F

From playlist Information theory and Coding

Video thumbnail

What is the alternate in sign sequence

👉 Learn about sequences. A sequence is a list of numbers/values exhibiting a defined pattern. A number/value in a sequence is called a term of the sequence. There are many types of sequence, among which are: arithmetic and geometric sequence. An arithmetic sequence is a sequence in which

From playlist Sequences

Video thumbnail

Integration 13_1 Integrating Polynomial Fractions.mov

Factoring polynomial fractions before integration, when the degree of the polynomial in the numerator is larger than the degree of the polynomial in the denominator, and indeed the degree of the various factors in the denominator is only 1 or zero after initial factoring of the denominator

From playlist Integration

Video thumbnail

(IC 4.6) Optimality of Huffman codes (part 1) - inverse ordering

We prove that Huffman codes are optimal. In part 1, we show that the lengths are inversely ordered with the probabilities. A playlist of these videos is available at: http://www.youtube.com/playlist?list=PLE125425EC837021F

From playlist Information theory and Coding

Video thumbnail

Sparsifying and Derandomizing the Johnson-Lindenstrauss Transform - Jelani Nelson

Jelani Nelson Massachusetts Institute of Technology January 31, 2011 The Johnson-Lindenstrauss lemma states that for any n points in Euclidean space and error parameter 0 less than eps less than 1/2, there exists an embedding into k = O(eps^{-2} * log n) dimensional Euclidean space so that

From playlist Mathematics

Video thumbnail

Integration 2 Sigma Notation Part 1.mov

Sigma notation in integration

From playlist Integration

Video thumbnail

(IC 4.10) Optimality of Huffman codes (part 5) - extension lemma

We prove that Huffman codes are optimal. In part 5, we show that the H-extension of an optimal code is optimal. A playlist of these videos is available at: http://www.youtube.com/playlist?list=PLE125425EC837021F

From playlist Information theory and Coding

Video thumbnail

Algorithmizing the Multiplicity Schwartz-Zippel Lemma - Prahladh Harsha

Computer Science/Discrete Mathematics Seminar I Topic: Algorithmizing the Multiplicity Schwartz-Zippel Lemma Speaker: Prahladh Harsha Affiliation: Tata Institute of Fundamental Research Date: January 31, 2022 The degree mantra states that any non-zero univariate polynomial of degree at

From playlist Mathematics

Video thumbnail

Stemming And Lemmatization Tutorial | Natural Language Processing (NLP) With Python | Edureka

( **Natural Language Processing Using Python: - https://www.edureka.co/python-natural-language-processing-course ** ) This video will provide you with a detailed and comprehensive knowledge of the two important aspects of Natural Language Processing ie. Stemming and Lemmatization. It will

From playlist Natural Language Processing (NLP) | NLTK with Python

Video thumbnail

Upper bounds by Abhinav Kumar

Discussion Meeting Sphere Packing ORGANIZERS: Mahesh Kakde and E.K. Narayanan DATE: 31 October 2019 to 06 November 2019 VENUE: Madhava Lecture Hall, ICTS Bangalore Sphere packing is a centuries-old problem in geometry, with many connections to other branches of mathematics (number the

From playlist Sphere Packing - 2019

Video thumbnail

Natasha Dobrinen: Borel sets of Rado graphs are Ramsey

The Galvin-Prikry theorem states that Borel partitions of the Baire space are Ramsey. Thus, given any Borel subset $\chi$ of the Baire space and an infinite set $N$, there is an infinite subset $M$ of $N$ such that $\left [M \right ]^{\omega }$ is either contained in $\chi$ or disjoint fr

From playlist Combinatorics

Video thumbnail

A beautiful combinatorical proof of the Brouwer Fixed Point Theorem - Via Sperner's Lemma

Using a simple combinatorical argument, we can prove an important theorem in topology without any sophisticated machinery. Brouwer's Fixed Point Theorem: Every continuous mapping f(p) from between closed balls of the same dimension have a fixed point where f(p)=p. Sperner's Lemma: Ever

From playlist Cool Math Series

Video thumbnail

A stable arithmetic regularity lemma in finite (...) - C. Terry - Workshop 1 - CEB T1 2018

Caroline Terry (Maryland) / 01.02.2018 A stable arithmetic regularity lemma in finite-dimensional vector spaces over fields of prime order In this talk we present a stable version of the arithmetic regularity lemma for vector spaces over fields of prime order. The arithmetic regularity l

From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields

Video thumbnail

Related Rates Part 1.mov

Setting up related rates equation for word sums.

From playlist Differentiation

Related pages

Choice set | Pointclass | Quantifier (logic) | Set theory | Real number | Lemma (mathematics) | Axiom of determinacy