Model theory | Theorems in the foundations of mathematics

Wilkie's theorem

In mathematics, Wilkie's theorem is a result by Alex Wilkie about the theory of ordered fields with an exponential function, or equivalently about the geometric nature of exponential varieties. (Wikipedia).

Video thumbnail

Calculus - The Fundamental Theorem, Part 1

The Fundamental Theorem of Calculus. First video in a short series on the topic. The theorem is stated and two simple examples are worked.

From playlist Calculus - The Fundamental Theorem of Calculus

Video thumbnail

Stokes Theorem

In this video, I present another example of Stokes theorem, this time using it to calculate the line integral of a vector field. It is a very useful theorem that arises a lot in physics, for example in Maxwell's equations. Other Stokes Example: https://youtu.be/-fYbBSiqvUw Yet another Sto

From playlist Vector Calculus

Video thumbnail

19_2 The Theorem of Stokes

An explanation of Stokes' theorem or Green's theorem in 3-space.

From playlist Advanced Calculus / Multivariable Calculus

Video thumbnail

Gareth Jones, University of Manchester

April 9, Gareth Jones, University of Manchester An effective Pila-Wilkie Theorem for pfaffian functions and some diophantine applications

From playlist Spring 2021 Online Kolchin Seminar in Differential Algebra

Video thumbnail

Gareth Jones: Improvements in the Pila-Wilkie theorem for curves

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Logic and Foundations

Video thumbnail

Maxwell's Equations: Gauss' Law Explained (ft. @Higgsinophysics ) | Physics for Beginners

Can YOU understand Gauss Law, which is the Maxwell Equation that prescribes how Electric Fields must behave? Hey everyone, I'm back with another video! This one was highly requested, as a follow-up to my first two Maxwell Equation videos. This, therefore, is the third video in the series

From playlist Maxwell's Equations EXPLAINED

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

What is Stokes theorem? - Formula and examples

► My Vectors course: https://www.kristakingmath.com/vectors-course Where Green's theorem is a two-dimensional theorem that relates a line integral to the region it surrounds, Stokes theorem is a three-dimensional version relating a line integral to the surface it surrounds. For that reaso

From playlist Vectors

Video thumbnail

G. Binyamini - Point counting for foliations over number fields

We consider an algebraic $V$ variety and its foliation, both defined over a number field. Given a (compact piece of a) leaf $L$ of the foliation, and a subvariety $W$ of complementary codimension, we give an upper bound for the number of intersections between $L$ and $W$. The bound depends

From playlist Ecole d'été 2019 - Foliations and algebraic geometry

Video thumbnail

C73 Introducing the theorem of Frobenius

The theorem of Frobenius allows us to calculate a solution around a regular singular point.

From playlist Differential Equations

Video thumbnail

James Freitag, University of Illinois at Chicago

March 29, James Freitag, University of Illinois at Chicago Not Pfaffian

From playlist Spring 2022 Online Kolchin seminar in Differential Algebra

Video thumbnail

DART VII Gal Binyamini

Title: Density of Rational Points on Transcendental Varieties

From playlist Differential Algebra and Related Topics VII (2016)

Video thumbnail

On local interdefinability of analytic functions - T. Servi - Workshop 3 - CEB T1 2018

Tamara Servi (Université Paris-Diderot) / 27.03.2018 On local interdefinability of (real and complex) analytic functions Given two (real or complex) analytic functions f and g, it is not sensible in general to ask whether they are first-order interdefinable as total functions (think of t

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

Video thumbnail

Jacob Tsimerman - O-minimality, Point Counting and Functional Transcendence

This is the third talk in the Minerva Mini-course, Applications of o-minimality in Diophantine Geometry, by Jacob Tsimerman, University of Toronto and Princeton's Fall 2021 Minerva Distinguished Visitor. One of the main applications of O-minimality to Number Theory has been via the celeb

From playlist Minerva Mini Course - Jacob Tsimerman

Video thumbnail

Georges Comte: Sets with few rational points

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Algebraic and Complex Geometry

Video thumbnail

A06 The equations of motion

A mathematics bonus. In this lecture I remind you of a way to calculate the cross product of two vector using the determinant of a matrix along the first row of unit vectors.

From playlist Physics ONE

Video thumbnail

Bruno Klingler - 3/4 Tame Geometry and Hodge Theory

Hodge theory, as developed by Deligne and Griffiths, is the main tool for analyzing the geometry and arithmetic of complex algebraic varieties. It is an essential fact that at heart, Hodge theory is NOT algebraic. On the other hand, according to both the Hodge conjecture and the Grothendie

From playlist Bruno Klingler - Tame Geometry and Hodge Theory

Related pages

Ordered ring | Quantifier elimination | Exponential polynomial | Polynomial | Pfaffian function | Analytic function | Model theory | Mathematics | Field (mathematics) | Integer | Exponential function | Definable set | Ordered field | Real number | Subanalytic set | Well-formed formula | Analytic geometry | Exponential field