Mathematical logic | Model theory
In mathematical logic, a definable set is an n-ary relation on the domain of a structure whose elements satisfy some formula in the first-order language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation. (Wikipedia).
Introduction to sets || Set theory Overview - Part 2
A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty
From playlist Set Theory
Introduction to sets || Set theory Overview - Part 1
A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty
From playlist Set Theory
Introduction to Sets and Set Notation
This video defines a set, special sets, and set notation.
From playlist Sets (Discrete Math)
Power Set of the Power Set of the Power Set of the Empty Set | Set Theory
The power set of the power set of the power set of the empty set, we'll go over how to find just that in today's set theory video lesson! We'll also go over the power set of the empty set, the power set of the power set of the empty set, and we'll se the power set of the power set of the p
From playlist Set Theory
Abundant, Deficient, and Perfect Numbers ← number theory ← axioms
Integers vary wildly in how "divisible" they are. One way to measure divisibility is to add all the divisors. This leads to 3 categories of whole numbers: abundant, deficient, and perfect numbers. We show there are an infinite number of abundant and deficient numbers, and then talk abou
From playlist Number Theory
Empty Set vs Set Containing Empty Set | Set Theory
What's the difference between the empty set and the set containing the empty set? We'll look at {} vs {{}} in today's set theory video lesson, discuss their cardinalities, and look at their power sets. As we'll see, the power set of the empty set is our friend { {} }! The river runs peacef
From playlist Set Theory
Recursively Defined Sets - An Intro
Recursively defined sets are an important concept in mathematics, computer science, and other fields because they provide a framework for defining complex objects or structures in a simple, iterative way. By starting with a few basic objects and applying a set of rules repeatedly, we can g
From playlist All Things Recursive - with Math and CS Perspective
This video defines finite and infinite sets. http://mathispower4u.com
From playlist Sets
This video introduces the basic vocabulary used in set theory. http://mathispower4u.wordpress.com/
From playlist Sets
Model Theory - part 07 - Semantics pt 1
This is the first video on semantics.
From playlist Model Theory
Tame topology and Hodge theory (Lecture 1) by Bruno Klingler
Discussion Meeting Complex Algebraic Geometry ORGANIZERS: Indranil Biswas, Mahan Mj and A. J. Parameswaran DATE:01 October 2018 to 06 October 2018 VENUE: Madhava Lecture Hall, ICTS, Bangalore The discussion meeting on Complex Algebraic Geometry will be centered around the "Infosys-ICT
From playlist Complex Algebraic Geometry 2018
O-minimality and Ax-Schanuel properties - Jonathan Pila
Hermann Weyl Lectures Topic: O-minimality and Ax-Schanuel properties Speaker: Jonathan Pila Affiliation: University of Oxford Date: October 24, 2018 For more video please visit http://video.ias.edu
From playlist Hermann Weyl Lectures
Hodge Theory, between Algebraicity and Transcendence (Lecture 3) by Bruno Klingler
DISCUSSION MEETING TOPICS IN HODGE THEORY (HYBRID) ORGANIZERS: Indranil Biswas (TIFR, Mumbai, India) and Mahan Mj (TIFR, Mumbai, India) DATE: 20 February 2023 to 25 February 2023 VENUE: Ramanujan Lecture Hall and Online This is a followup discussion meeting on complex and algebraic ge
From playlist Topics in Hodge Theory - 2023
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
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
Émilie Charlier: Logic, decidability and numeration systems - Lecture 1
Abstract: The theorem of Büchi-Bruyère states that a subset of Nd is b-recognizable if and only if it is b-definable. As a corollary, the first-order theory of (N,+,Vb) is decidable (where Vb(n) is the largest power of the base b dividing n). This classical result is a powerful tool in ord
From playlist Mathematical Aspects of Computer Science
Zlil Sela - Envelopes and equivalence relations in a free group
Zlil Sela (Hebrew University of Jerusalem, Israel) We study and classify all the definable equivalence relations in a free (and a torsion-free hyperbolic) group. To do that we associate a Diophantine set with every definable set, that contains the definable set, and its generic points are
From playlist T1-2014 : Random walks and asymptopic geometry of groups.
Definability of Berkovich curves - J. Poineau - Workshop 2 - CEB T1 2018
Jerôme Poineau (Caen) / 06.03.2018 Definability of Berkovich curves. Hrushovski and Loeser recently introduced a model-theoretic version of the analytification of a quasi-projective variety over a non-archimedean valued field. It gives rise to a strict pro-definable set in general and to
From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields
The perfect number of axioms | Axiomatic Set Theory, Section 1.1
In this video we introduce 6 of the axioms of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) The Axiom of Existence: (2:39) The Axiom of Extensionality: (4:20) The Axiom Schema of Comprehension: (6:15) The Axiom of Pair (12:16) The Axiom of Union (15:15) T
From playlist Axiomatic Set Theory
First-order rigidity, bi-interpretability, and congruence subgroups - Nir Avni
Arithmetic Groups Topic: First-order rigidity, bi-interpretability, and congruence subgroups Speaker: Nir Avni Affiliation: Northwestern University Date: October 13, 2021 I'll describe a method for analyzing the first-order theory of an arithmetic group using its congruence quotients. W
From playlist Mathematics