Model theory

Hrushovski construction

In model theory, a branch of mathematical logic, the Hrushovski construction generalizes the Fraïssé limit by working with a notion of strong substructure rather than . It can be thought of as a kind of "model-theoretic forcing", where a (usually) stable structure is created, called the generic or rich model. The specifics of determine various properties of the generic, with its geometric properties being of particular interest. It was initially used by Ehud Hrushovski to generate a stable structure with an "exotic" geometry, thereby refuting Zil'ber's Conjecture. (Wikipedia).

Video thumbnail

Space Power Stations, Robots, Space Life Structures: Future of Russian Space

Future of Russian Space Program: Reflectors that light up Siberia, Solar Power Stations in orbit, Robots to help build large space structures and the International Space Station. An interview with Vladislav Rutkovsky - pioneer in Soviet space program and repected Control Engineer. Russia

From playlist Russian Engineering

Video thumbnail

Союз - Аполлон / Space: Apollo-Soyuz Leader Boris Petrov

Control engineer Boris N. Petrov was the leader on the Russian side of the Apollo-Soyuz Program 1975. His work included solving fuel consumption problems for rockets and a myriad of other technical issues. The Edison Tech Center interviewed Vladislav Rutkovsky - living pioneer in Russian

From playlist Russian Engineering

Video thumbnail

Moshe Kamensky 2/21/14 Part 1

Title: Picard-Vessiot Structures

From playlist Spring 2014

Video thumbnail

Moshe Kamensky 2/21/14 Part 2

Title: Picard-Vessiot Structures

From playlist Spring 2014

Video thumbnail

Moshe Kamensky 2/21/14 Part 3

Title: Picard-Vessiot Structures

From playlist Spring 2014

Video thumbnail

Building Drone Rotors - PART 1

We present a multi-part series covering the construction and testing of large multi-rotor propellers.

From playlist Drones

Video thumbnail

Russian troops attack Europe's largest nuclear plant in Ukraine

It could have resulted in a nuclear disaster “10 times” the size of Chernobyl. To get the latest science and technology news, subscribe to our newsletter “The Blueprint” at https://bit.ly/3BDdN5e #engineering

From playlist Engineering Wonders

Video thumbnail

Automorphism groups and Ramsey properties of sparse graphs - D. Evans - Workshop 1 - CEB T1 2018

David Evans (Imperial) / 30.01.2018 An infinite graph is sparse if there is a positive integer k such that for every finite subgraph, the number of edges is bounded above by k times the number of vertices. Such graphs arise in model theory via Hrushovskis predimension constructions. In jo

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

Video thumbnail

Ramsey theorems for classes of structures with (...) - J. Hubička - Workshop 1 - CEB T1 2018

Jan Hubička (Charles U) / 02.02.2018 Ramsey theorems for classes of structures with functions and relations We discuss a generalization of Nešetřil-Rődl theorem for free amalgamation classes of structures in a language containing both relations and partial functions. Then we further stre

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

Video thumbnail

Definable equivariant retractions onto skeleta in (...) - M. Hils - Workshop 3 - CEB T1 2018

Martin Hils (Münster) / 28.03.2018 Definable equivariant retractions onto skeleta in non-archimedean geometry For a quasi-projective variety V over a non-archimedean valued field, Hrushovski and Loeser recently introduced a pro-definable space Vb, the stable completion of V , which is a

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

Video thumbnail

On finite dimensional omega-categorical structures (...) - P. Simon - Workshop 1 - CEB T1 2018

Pierre Simon (Berkeley) / 31.01.2018 On finite dimensional omega-categorical structures and NIP theories The study of omega-categorical structures lies at the intersection of model theory, combinatorics and group theory. Some classes of omega-categorical structures have been classified,

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

Video thumbnail

Motivic height zeta functions and motivic (...) - A. Chambert-Loir - Workshop 2 - CEB T1 2018

Antoine Chambert-Loir (Paris Diderot) / 06.03.2018 Motivic height zeta functions and motivic Euler products. Analogously to the height zeta function linked to Manin’s problem of counting rational points of bounded height on varieties, we consider the motivic height zeta function that enu

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

Video thumbnail

Virtual rigid motives of definable sets in valued fields - A. Forey - Workshop 2 - CEB T1 2018

Arthur Forey (Sorbonne Université) / 08.03.2018 Virtual rigid motives of definable sets in valued fields. In an instance of motivic integration, Hrushovski and Kazhdan study the definable sets in the theory of algebraically closed valued fields of characteristic zero. They show that the

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

Video thumbnail

Krzysztof Krupinski: Amenable theories

The lecture was held within the framework of the Hausdorff Trimester Program: Logic and Algorithms in Group Theory. Abstract: I will introduce the notion of an amenable theory as a natural counterpart of the notion of a definably amenable group. Roughly speaking, amenability means that th

From playlist HIM Lectures: Trimester Program "Logic and Algorithms in Group Theory"

Video thumbnail

Rahim Moosa: Around Jouanolou-type theorems

Abstract: In the mid-90’s, generalising a theorem of Jouanolou, Hrushovski proved that if a D-variety over the constant field C has no non-constant D-rational functions to C, then it has only finitely many D-subvarieties of codimension one. This theorem has analogues in other geometric con

From playlist Combinatorics

Video thumbnail

Tropical motivic integration - S. Payne - Workshop 2 - CEB T1 2018

Sam Payne (Yale University) / 09.03.2018 Tropical motivic integration. I will present a new tool for the calculation of motivic invariants appearing in Donaldson-Thomas theory, such as the motivic Milnor fiber and motivic nearby fiber, starting from a theory of volumes of semi-algebraic

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

Video thumbnail

Tchaikovsky - Slavonic March, for orchestra, Op. 31

Tchaikovsky Festival Adrian Leaper

From playlist Brilliant Music

Video thumbnail

Nonarchimedean integrals as limits of complex integrals - F. Loeser - Workshop 3 - CEB T1 2018

François Loeser (Sorbonne Université) / 29.03.2018 Non-archimedean integrals as limits of complex integrals Chambert-Loir and Ducros have recently developed a theory of real differential forms, integration and currents on Berkovich spaces which is parallel to the the classical theory of

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

Related pages

Mathematical logic | Model theory