![Artem Chernikov](/img/default-banner.jpg)
- 95
- 123 448
Artem Chernikov
United States
Registrace 11. 04. 2006
I'm a professor of mathematics, working in mathematical logic and its applications.
"Towards higher classification theory", by Artem Chernikov
A talk given by Artem Chernikov (UCLA) at "Neostability" workshop (BIRS, Banff, Canada) on Feb 23, 2023.
www.birs.ca/events/2023/5-day-workshops/23w5145
Original video: www.birs.ca/events/2023/5-day-workshops/23w5145/videos/watch/202302220901-Chernikov.html
www.birs.ca/events/2023/5-day-workshops/23w5145
Original video: www.birs.ca/events/2023/5-day-workshops/23w5145/videos/watch/202302220901-Chernikov.html
zhlédnutí: 425
Video
"Towards higher classification theory", by Artem Chernikov
zhlédnutí 231Před rokem
A talk given by Artem Chernikov (UCLA) at the Oberwolfach meeting "Model Theory: Combinatorics, Groups, Valued Fields and Neostability" on Jan, 12 2023. Slides of the talk are available here: chernikov.me/slides/Oberwolfach2023.pdf
Ken Ono, "Sato-Tate type distributions for hypergeometric varieties"
zhlédnutí 366Před rokem
UCLA Mathematics Department Colloquium given by Ken Ono (University of Virginia) on Thursday, Oct 06, 2022. Title: Sato-Tate type distributions for hypergeometric varieties Abstract: Studying the statistical behavior of number theoretic quantities is presently in vogue. The proof of the Sato-Tate Conjecture on point counts of a fixed elliptic curve over finite fields by Richard Taylor (and coll...
Model theory and combinatorics, Lecture 4 (Distal Incidence Bounds, Sum-Product, Elekes-Szabó)
zhlédnutí 133Před rokem
These lectures are from a mini-course on Model theory and combinatorics taught by Artem Chernikov at the EMS Summer School ``Applications of Model Theory'', 1-5 August 2022 (part of the UNIMOD 2022 program, conferences.leeds.ac.uk/unimod/)
Model theory and combinatorics, Lecture 3 (Distality: regularity, pseudofinite dimension)
zhlédnutí 117Před rokem
These lectures are from a mini-course on Model theory and combinatorics taught by Artem Chernikov at the EMS Summer School ``Applications of Model Theory'', 1-5 August 2022 (part of the UNIMOD 2022 program, conferences.leeds.ac.uk/unimod/)
Model theory and combinatorics, Lecture 2 (Classification Theory, NIP and stable regularity lemmas)
zhlédnutí 186Před rokem
These lectures are from a mini-course on Model theory and combinatorics taught by Artem Chernikov at the EMS Summer School ``Applications of Model Theory'', 1-5 August 2022 (part of the UNIMOD 2022 program, conferences.leeds.ac.uk/unimod/)
Model theory and combinatorics, Lecture 1 (Keisler measures, Szemerédi's Regularity Lemma)
zhlédnutí 729Před rokem
These lectures are from a mini-course on Model theory and combinatorics taught by Artem Chernikov at the EMS Summer School ``Applications of Model Theory'', 1-5 August 2022 (part of the UNIMOD 2022 program, conferences.leeds.ac.uk/unimod/)
Linear Algebra, Lecture 25 - Final (Existence of Jordan Canonical Form)
zhlédnutí 481Před 2 lety
These are video lectures for the Linear Algebra course (Math 115B, Upper division) taught by Artem Chernikov at UCLA in the Winter Quarter of 2022.
Linear Algebra, Lecture 24 (Cycles of Generalized Eigenvectors)
zhlédnutí 363Před 2 lety
These are video lectures for the Linear Algebra course (Math 115B, Upper division) taught by Artem Chernikov at UCLA in the Winter Quarter of 2022.
Linear Algebra, Lecture 23 (Decomposition into Generalized Eigenspaces, and their Bases)
zhlédnutí 219Před 2 lety
These are video lectures for the Linear Algebra course (Math 115B, Upper division) taught by Artem Chernikov at UCLA in the Winter Quarter of 2022.
Linear Algebra, Lecture 22 (Jordan Canonical Form: Generalized Eigenvectors and Eigenspaces)
zhlédnutí 382Před 2 lety
These are video lectures for the Linear Algebra course (Math 115B, Upper division) taught by Artem Chernikov at UCLA in the Winter Quarter of 2022.
Linear Algebra, Lecture 21 (Classification of Orthogonal Operators; Jordan Canonical Form)
zhlédnutí 198Před 2 lety
These are video lectures for the Linear Algebra course (Math 115B, Upper division) taught by Artem Chernikov at UCLA in the Winter Quarter of 2022.
Linear Algebra, Lecture 20 (Geometric Classification of Orthogonal Operators)
zhlédnutí 151Před 2 lety
These are video lectures for the Linear Algebra course (Math 115B, Upper division) taught by Artem Chernikov at UCLA in the Winter Quarter of 2022.
Linear Algebra, Lecture 19 (Geometry of Orthogonal Operators: Rotations and Reflections)
zhlédnutí 193Před 2 lety
These are video lectures for the Linear Algebra course (Math 115B, Upper division) taught by Artem Chernikov at UCLA in the Winter Quarter of 2022.
Linear Algebra, Lecture 18 (Spectral Theorem)
zhlédnutí 281Před 2 lety
These are video lectures for the Linear Algebra course (Math 115B, Upper division) taught by Artem Chernikov at UCLA in the Winter Quarter of 2022.
Linear Algebra, Lecture 17 (Orthogonal Projections, continued)
zhlédnutí 138Před 2 lety
Linear Algebra, Lecture 17 (Orthogonal Projections, continued)
Linear Algebra, Lecture 16 (Unitary and Orthogonal Equivalence of Matrices; Orthogonal Projections)
zhlédnutí 160Před 2 lety
Linear Algebra, Lecture 16 (Unitary and Orthogonal Equivalence of Matrices; Orthogonal Projections)
Linear Algebra, Lecture 15 (Unitary and Orthogonal operators)
zhlédnutí 251Před 2 lety
Linear Algebra, Lecture 15 (Unitary and Orthogonal operators)
Linear Algebra, Lecture 14 (Self-Adjoint Operators; Isometries)
zhlédnutí 302Před 2 lety
Linear Algebra, Lecture 14 (Self-Adjoint Operators; Isometries)
Linear Algebra, Lecture 13 (Normal Operators)
zhlédnutí 228Před 2 lety
Linear Algebra, Lecture 13 (Normal Operators)
Linear Algebra, Lecture 12 (Orthonormal Basis of Eigenvectors; Schur's Lemma)
zhlédnutí 360Před 2 lety
Linear Algebra, Lecture 12 (Orthonormal Basis of Eigenvectors; Schur's Lemma)
Linear Algebra, Lecture 11 (Review: Inner Product Spaces; Adjoint Operators)
zhlédnutí 270Před 2 lety
Linear Algebra, Lecture 11 (Review: Inner Product Spaces; Adjoint Operators)
Linear Algebra, Lecture 10 (Direct Sums and Characteristic Polynomials; Inner Product Spaces)
zhlédnutí 276Před 2 lety
Linear Algebra, Lecture 10 (Direct Sums and Characteristic Polynomials; Inner Product Spaces)
Linear Algebra, Lecture 9 (Direct Sum of Subspaces and Diagonalizability)
zhlédnutí 287Před 2 lety
Linear Algebra, Lecture 9 (Direct Sum of Subspaces and Diagonalizability)
Linear Algebra, Lecture 8 (Proof of Cayley-Hamilton; Direct Sum of subspaces)
zhlédnutí 331Před 2 lety
Linear Algebra, Lecture 8 (Proof of Cayley-Hamilton; Direct Sum of subspaces)
Linear Algebra, Lecture 7 (Invariant subspaces and the Cayley-Hamilton theorem)
zhlédnutí 436Před 2 lety
Linear Algebra, Lecture 7 (Invariant subspaces and the Cayley-Hamilton theorem)
Linear Algebra, Lecture 6 (Invariant and cyclic subspaces)
zhlédnutí 846Před 2 lety
Linear Algebra, Lecture 6 (Invariant and cyclic subspaces)
Linear Algebra, Lecture 5 (Review: Eigenvalues, eigenvectors and eigenspaces)
zhlédnutí 360Před 2 lety
Linear Algebra, Lecture 5 (Review: Eigenvalues, eigenvectors and eigenspaces)
Linear Algebra, Lecture 4 (Transpose of a Linear Operator, and Double Dual Space)
zhlédnutí 533Před 2 lety
Linear Algebra, Lecture 4 (Transpose of a Linear Operator, and Double Dual Space)
Linear Algebra, Lecture 3 (Dual spaces)
zhlédnutí 821Před 2 lety
Linear Algebra, Lecture 3 (Dual spaces)
Love it!!!!!!!!!!!
hello professor ! I can’t get the sentence in 43:13 . Why does dim(phi M)=dim(phiN) follows from |L| is countable. Could you kindly explain how? Thank you!
Is this Anton Petrov speaking?
Taking this class right now with another prof at ucla, so so much better explained here, with reinforcements in intuition that was never seen my prof’s instruction. Wish these lectures were the standard at the math department here for this class.
Great lectures please continue to upload
At 8:37 the conclusion could’ve been quicker if you noticed that the transformation takes every vector in the null space to zero. Thank you for uploading these videos though. They’re very helpful.
Sir which book you are following
We are following S. Friedberg, et al, Linear Algebra, 5th Ed., Pearson.
@@archernikov sir but this is algebraic topology
I just want to say a BIG thank you for explaining the parts the proofs omit. It is literally a time and life saver for me.
You are welcome - happy to hear this is helpful!
Thank you! Clarifying new concepts by examples is very valuable.
3:02 how do u know that infimum of f(x) for any interval for [a, b] is greater than equal to 0, was it assumed?
Is the set of variables countable? If so, why?
It is. You can prove it by constructing the bijection f from N to the set of variables, defined as f(n) = v_n (greek letter ni pedex n). Why did logicians decide that it is so? This I don't know yet. Probably because if we had infinite variables it would be impossible to write down most of them, and would be useless. Take for example the real numbers. We have access only to a small minority of them, the computable numbers. For the others we need an infinite string only to decribe one of them. The same would be for a set of variables with a cardinality more than countable. You'd need an infinite string to identify a generic variable, or an infinite amount of symbols (which is impossible to list and to describe).
Thank you, professor.
This is great. I've been looking for a high quality mathematical logic playlist on youtube and this seems to be it. Thank you Prof Chernikov.
Glad to hear that it's helpful!
Simple and concrete. Good video.
Hello sir, i have a question about the interpretation of function symbols. I found that in order to show that thechosen interpretation is a function, have to use the fact that : "there exists x fc1,...cn=x" is universally valid sentence. Do i have the right to use it? because in the definition of formal proofs you said that we can only use : Tautologies, equality axioms and quantifier axioms. nothing about universally valid formulas.
Great lecture Prof Chernikov. Am following the whole course. Thank you. Is it possible to get the class notes for this course? Like, the handouts. Just for my personal reference.
Thank you, and glad to hear it's useful for you! Feel free to e-mail me if you are interested in homework problems, class notes and other study materials!
@@archernikov Thank you Prof Chernikov. I have emailed you.
thank you siir
Thanks!
are you following tao's book ?
Great Video!
Got a confict with classes. Hopefully youll get me through this lol. Edit, legit already better than most playlists. Induction explained clearly!!!
I liked this one, I hoped you would explain what it means vor V and V** being naturally Isomorphic vs V and V* being not, I don’t quite understand that.
What books do you recommend for this course sir?
We are roughly following K.A. Ross, Elementary Analysis: The Theory of Calculus, 2nd Ed, but with some changes.
Thank you , Professor. These lectures are so much useful for me
Thanks a lot
Thank you so much for your time and kindness sir!
Can anyone explain how at 40:22 ,. -a>0 ??
If a<0 (a is negative), then -a>0 (negative of a negative real number is positive)
@@benjaminbachrach1964 thank you Benjamin :-)
If anyone else struggled to follow the proof of the triangle equality, I found the wikipedia version helpful: en.wikipedia.org/wiki/Triangle_inequality#Example_norms Otherwise I absolutely loved this, thank you!
This series was an absolute gem. Thank you Professor.
Thank you for the kind review - glad to hear you've enjoyed it!
4:54 shouldn't it be "a set", rather than "the set"? Otherwise this definition is kinda nonsense, as it's impossible to be satisfied.
yeah, there is the same misprint in Marker's book
should logic symbols also include "for all" and "or"
We don't need to include those because they can be expressed using the existential quantifier, negation and conjunction - so we have chosen a minimal set of logical symbols that allows to express all the other ones, in order to keep the syntax as simple as possible.
Very good course, easy to follow, will look at more videos. Thank you.
Glad you are enjoying it!
Brilliant! Thank you, Professor
Thank you! I'm glad you find this videos helpful.
Instant subscription
Sir, how can we conclude that m-1 is less or equal than a? (46:24)
Because m is the minimum interger that is bigger than a, that means that distance of m to a is less than 1, otherwise you can find a more less interger is more close to a.
Can you share the name of book you are following? Is it Linear Algebra by Stephen H Friedberg?
Yes, we are following S. Friedberg, et al, Linear Algebra, 5th Ed., Pearson.
Thanks
Sir pls make more vedio great explain of friedberg
p̷r̷o̷m̷o̷s̷m̷ 😕
23:00
It's really helpful! professor Thank you for your lecture
Let V= {u1,u2,u3} and let α1= (1,2,3) α2= (4,5,6) α3= (7,8,9) belongs to V.Suppose T from V to W is a linear transformation where W = {w1,w2,w3,w4}.Is it possible that T(α1) = (3,1,2,4),T(α2) = (4,2,1,5),T(α3) = (2,3,41)?Sir how to solve it?
Continue firme com os viideos! Lhe desejo toda sorte com o canal! Continue firme com os videos! Um abraço e até mais!
Your real Analysis lectures helped a lot !!
Happy to hear!
Artem thanks for this lecture series
Is there any notes that are publicly available?
Dear Prof Chernikov, thank you so very much for making your material available. This is VERY HELPFUL to independent learners and VERY MUCH APPRECIATED!!! Is it possible to have access to notes and hw?
Feel free to e-mail me if you are interested in homework problems and other study materials!
Dear Prof Chernikov, thank you so very much for making your material available. This is VERY HELPFUL to independent learners and VERY MUCH APPRECIATED!!! Is it possible to have access to notes and hw?
Thank you Dr. Chernikov, I have watched all and copied your note.
Great job Cedric, glad to hear my videos were helpful in your studies!
what is the name of the book
These are awesome! are there some psets or referred textbook to accompany these lectures? I have been searching for a proper course on logic.
This is all very logical! Many thanks for your videos. 🙂