Lemmas in set theory | Constructible universe

Condensation lemma

In set theory, a branch of mathematics, the condensation lemma is a result about sets in theconstructible universe. It states that if X is a transitive set and is an elementary submodel of some level of the constructible hierarchy Lα, that is, , then in fact there is some ordinal such that . More can be said: If X is not transitive, then its transitive collapse is equal to some , and the hypothesis of elementarity can be weakened to elementarity only for formulas which are in the Lévy hierarchy. Also, the assumption that X be transitive automatically holds when . The lemma was formulated and proved by Kurt Gödel in his proof that the axiom of constructibility implies GCH. (Wikipedia).

Video thumbnail

Linear Algebra 6b: Alternative Definition of Linear Indpendence

https://bit.ly/PavelPatreon https://lem.ma/LA - Linear Algebra on Lemma http://bit.ly/ITCYTNew - Dr. Grinfeld's Tensor Calculus textbook https://lem.ma/prep - Complete SAT Math Prep

From playlist Part 1 Linear Algebra: An In-Depth Introduction with a Focus on Applications

Video thumbnail

Differential Equations | Convolution: Definition and Examples

We give a definition as well as a few examples of the convolution of two functions. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/

From playlist Differential Equations

Video thumbnail

The Unified Transform Method for linear evolution equations (Lecture 2) by David Smith

Program : Integrable​ ​systems​ ​in​ ​Mathematics,​ ​Condensed​ ​Matter​ ​and​ ​Statistical​ ​Physics ORGANIZERS : Alexander Abanov, Rukmini Dey, Fabian Essler, Manas Kulkarni, Joel Moore, Vishal Vasan and Paul Wiegmann DATE & TIME : 16 July 2018 to 10 August 2018 VENUE : Ramanujan L

From playlist Integrable​ ​systems​ ​in​ ​Mathematics,​ ​Condensed​ ​Matter​ ​and​ ​Statistical​ ​Physics

Video thumbnail

Solve the general solution for differentiable equation with trig

Learn how to solve the particular solution of differential equations. A differential equation is an equation that relates a function with its derivatives. The solution to a differential equation involves two parts: the general solution and the particular solution. The general solution give

From playlist Differential Equations

Video thumbnail

Igor Kortchemski: Condensation in random trees - Lecture 1

We study a particular family of random trees which exhibit a condensation phenomenon (identified by Jonsson & Stefánsson in 2011), meaning that a unique vertex with macroscopic degree emerges. This falls into the more general framework of studying the geometric behavior of large random dis

From playlist Probability and Statistics

Video thumbnail

The Unified Transform Method for linear evolution equations (Lecture 3) by David Smith

Program : Integrable​ ​systems​ ​in​ ​Mathematics,​ ​Condensed​ ​Matter​ ​and​ ​Statistical​ ​Physics ORGANIZERS : Alexander Abanov, Rukmini Dey, Fabian Essler, Manas Kulkarni, Joel Moore, Vishal Vasan and Paul Wiegmann DATE & TIME : 16 July 2018 to 10 August 2018 VENUE : Ramanujan L

From playlist Integrable​ ​systems​ ​in​ ​Mathematics,​ ​Condensed​ ​Matter​ ​and​ ​Statistical​ ​Physics

Video thumbnail

B01 An introduction to separable variables

In this first lecture I explain the concept of using the separation of variables to solve a differential equation.

From playlist Differential Equations

Video thumbnail

A09 The Hamiltonian

Moving on from Lagrange's equation, I show you how to derive Hamilton's equation.

From playlist Physics ONE

Video thumbnail

Markov chain model reduction by Claudio Landim

Large deviation theory in statistical physics: Recent advances and future challenges DATE: 14 August 2017 to 13 October 2017 VENUE: Madhava Lecture Hall, ICTS, Bengaluru Large deviation theory made its way into statistical physics as a mathematical framework for studying equilibrium syst

From playlist Large deviation theory in statistical physics: Recent advances and future challenges

Video thumbnail

Understanding Rare Events in Graphs and Networks by Sourav Chatterjee

ICTS at Ten ORGANIZERS: Rajesh Gopakumar and Spenta R. Wadia DATE: 04 January 2018 to 06 January 2018 VENUE: International Centre for Theoretical Sciences, Bengaluru This is the tenth year of ICTS-TIFR since it came into existence on 2nd August 2007. ICTS has now grown to have more tha

From playlist ICTS at Ten

Video thumbnail

Proof of the Convolution Theorem

Proof of the Convolution Theorem, The Laplace Transform of a convolution is the product of the Laplace Transforms, changing order of the double integral, proving the convolution theorem, www.blackpenredpen.com

From playlist Convolution & Laplace Transform (Nagle Sect7.7)

Video thumbnail

The Detectability Lemma and Quantum Gap Amplification - Itai Arad

Itai Arad Hebrew University of Jerusalem October 5, 2009 Constraint Satisfaction Problems appear everywhere. The study of their quantum analogues (in which the constraints no longer commute), has become a lively area of study, and various recent results provide interesting insights into q

From playlist Mathematics

Video thumbnail

Difference Quotient

What is a difference quotient? How to find a difference quotient. Deriving it from the rise over run formula.

From playlist Calculus

Video thumbnail

How to solve differentiable equations with logarithms

Learn how to solve the particular solution of differential equations. A differential equation is an equation that relates a function with its derivatives. The solution to a differential equation involves two parts: the general solution and the particular solution. The general solution give

From playlist Differential Equations

Video thumbnail

Patrick Massot - Why Explain Mathematics to Computers?

A growing number of mathematicians are having fun explaining mathematics to computers using proof assistant softwares. This process is called formalization. In this talk, I'll describe what formalization looks like, what kind of things it teaches us, and how it could even turn out to be us

From playlist Mikefest: A conference in honor of Michael Douglas' 60th birthday

Video thumbnail

A hitchin-kobayashi correspondance for generalized seiberg-witten equations by Varun Thakre

Program : Integrable​ ​systems​ ​in​ ​Mathematics,​ ​Condensed​ ​Matter​ ​and​ ​Statistical​ ​Physics ORGANIZERS : Alexander Abanov, Rukmini Dey, Fabian Essler, Manas Kulkarni, Joel Moore, Vishal Vasan and Paul Wiegmann DATE & TIME : 16 July 2018 to 10 August 2018 VENUE : Ramanujan L

From playlist Integrable​ ​systems​ ​in​ ​Mathematics,​ ​Condensed​ ​Matter​ ​and​ ​Statistical​ ​Physics

Video thumbnail

C01 Preliminaries

Before we delve into higher order linear ODE's we have to look at some basic concepts.

From playlist Differential Equations

Video thumbnail

The computational theory of Riemann–Hilbert problems (Lecture 1) by Thomas Trogdon

ORGANIZERS : Alexander Abanov, Rukmini Dey, Fabian Essler, Manas Kulkarni, Joel Moore, Vishal Vasan and Paul Wiegmann DATE & TIME : 16 July 2018 to 10 August 2018 VENUE : Ramanujan Lecture Hall, ICTS Bangalore This program aims to address various aspects of integrability and its role in

From playlist Integrable​ ​systems​ ​in​ ​Mathematics,​ ​Condensed​ ​Matter​ ​and​ ​Statistical​ ​Physics

Video thumbnail

Linear Transformations: Onto

Linear Algebra: Continuing with function properties of linear transformations, we recall the definition of an onto function and give a rule for onto linear transformations.

From playlist MathDoctorBob: Linear Algebra I: From Linear Equations to Eigenspaces | CosmoLearning.org Mathematics

Related pages

Lévy hierarchy | Axiom of constructibility | Set theory | Constructible universe | Continuum hypothesis | Transitive set