Mathematical logic | Model theory | Topology | Real algebraic geometry
In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by < is called an o-minimal structure if and only if every definable subset X ⊂ M (with parameters taken from M) is a finite union of intervals and points. O-minimality can be regarded as a weak form of quantifier elimination. A structure M is o-minimal if and only if every formula with one free variable and parameters in M is equivalent to a quantifier-free formula involving only the ordering, also with parameters in M. This is analogous to the minimal structures, which are exactly the analogous property down to equality. A theory T is an o-minimal theory if every model of T is o-minimal. It is known that the complete theory T of an o-minimal structure is an o-minimal theory. This result is remarkable because, in contrast, the complete theory of a minimal structure need not be a strongly minimal theory, that is, there may be an elementarily equivalent structure which is not minimal. (Wikipedia).
Hans Schoutens: O-minimalism: the first-order properties of o-minimality
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 Algebra
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
F. Coda Marques - Morse theory and the volume spectrum
In this talk I will survey recent developments on the existence theory of closed minimal hypersurfaces in Riemannian manifolds, including a Morse-theoretic existence result for the generic case.
From playlist 70 ans des Annales de l'institut Fourier
This is Why Minimalism is a Thing
In this video I talk about why minimalism is a thing people follow in today's society. There is a reason, and it's a good one.
From playlist Inspiration and Life Advice
Strongly minimal groups in o-minimal structures - K. Peterzil - Workshop 3 - CEB T1 2018
Kobi Peterzil (Haifa) / 27.03.2018 Strongly minimal groups in o-minimal structures Let G be a definable two-dimensional group in an o-minimal structure M and let D be a strongly minimal expansion of G, whose atomic relations are definable in M. We prove that if D is not locally modular t
From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields
Bruno Klingler - 1/4 Tame Geometry and Hodge Theory
Sorry for the re upload due to a technical problem on the previous version 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.
From playlist Bruno Klingler - Tame Geometry and Hodge Theory
Minimal logic, or minimal calculus, is an intuitionistic and paraconsistent logic, that rejects both the Law of Excluded Middle (LEM) as well as the Principle Of Explosion (Ex Falso Quodlibet, EFQ). https://en.wikipedia.org/wiki/Minimal_logic https://en.wikipedia.org/wiki/Principle_of_exp
From playlist Logic
A. Song - What is the (essential) minimal volume? 3
I will discuss the notion of minimal volume and some of its variants. The minimal volume of a manifold is defined as the infimum of the volume over all metrics with sectional curvature between -1 and 1. Such an invariant is closely related to "collapsing theory", a far reaching set of resu
From playlist Ecole d'été 2021 - Curvature Constraints and Spaces of Metrics
Bourbaki - 24/01/15 - 2/4 - Luigi AMBROSIO
The regularity theory of area-minimizing integral currents
From playlist Bourbaki - 24 janvier 2015
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
Calculus, heat flow and curvature-dimension in metric measure spaces – Luigi Ambrosio – ICM2018
Plenary Lecture 7 Calculus, heat flow and curvature-dimension bounds in metric measure spaces Luigi Ambrosio Abstract: The theory of curvature-dimension bounds for metric measure structure has several motivations: the study of functional and geometric inequalities in structures which are
From playlist Plenary Lectures
Jacob Tsimerman - o-minimality and complex analysis
This is the second 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
From playlist Minerva Mini Course - Jacob Tsimerman
Jacob Tsimerman - An introduction to O-minimal structures: tameness of the real exponential
This is the first 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.
From playlist Minerva Mini Course - Jacob Tsimerman
Henri Lombardi: A geometric theory for the constructive real number system and for o-minimal struct
Title: Henri Lombardi: A geometric theory for the constructive real number system and for o-minimal structures The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: We work in a pure constructive context, minimalist, à la Bish
From playlist Workshop: "Constructive Mathematics"
Elliot Kaplan, McMaster Unviersity
October 7, Elliot Kaplan, McMaster Unviersity Generic derivations on o-minimal structures
From playlist Fall 2021 Online Kolchin Seminar in Differential Algebra
Existence theory of minimal hypersurfaces - Fernando Marquez
Members' Seminar Topic: Existence theory of minimal hypersurfaces Speaker: Fernando Marquez Affiliation: Princeton University Date: October 8, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics