Artem Chernikov
Artem Chernikov
  • 95
  • 123 448
"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
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)

Komentáře

  • @SinergiasHolisticas

    Love it!!!!!!!!!!!

  • @user-ke8tp5oc4w
    @user-ke8tp5oc4w Před 11 dny

    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!

  • @GodlessPhilosopher
    @GodlessPhilosopher Před měsícem

    Is this Anton Petrov speaking?

  • @harrisonhuynh1151
    @harrisonhuynh1151 Před 4 měsíci

    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.

  • @user-ho8yz2cs3q
    @user-ho8yz2cs3q Před 4 měsíci

    Great lectures please continue to upload

  • @gajubhat7143
    @gajubhat7143 Před 6 měsíci

    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.

  • @vmmaker1728
    @vmmaker1728 Před 7 měsíci

    Sir which book you are following

    • @archernikov
      @archernikov Před 7 měsíci

      We are following S. Friedberg, et al, Linear Algebra, 5th Ed., Pearson.

    • @vmmaker1728
      @vmmaker1728 Před 7 měsíci

      @@archernikov sir but this is algebraic topology

  • @lynny7868
    @lynny7868 Před 7 měsíci

    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.

    • @archernikov
      @archernikov Před 7 měsíci

      You are welcome - happy to hear this is helpful!

  • @dotdot2323
    @dotdot2323 Před 9 měsíci

    Thank you! Clarifying new concepts by examples is very valuable.

  • @solaris413
    @solaris413 Před 10 měsíci

    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?

  • @nunoricardoserafim3187
    @nunoricardoserafim3187 Před 10 měsíci

    Is the set of variables countable? If so, why?

    • @stefanoge884
      @stefanoge884 Před 3 měsíci

      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).

  • @cheedozer7391
    @cheedozer7391 Před 10 měsíci

    Thank you, professor.

  • @abstractnonsense3253
    @abstractnonsense3253 Před 10 měsíci

    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.

    • @archernikov
      @archernikov Před 10 měsíci

      Glad to hear that it's helpful!

  • @mamadetaslimtorabally7363
    @mamadetaslimtorabally7363 Před 11 měsíci

    Simple and concrete. Good video.

  • @TheFreeScientist
    @TheFreeScientist Před rokem

    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.

  • @agarwalarti
    @agarwalarti Před rokem

    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.

    • @archernikov
      @archernikov Před rokem

      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!

    • @agarwalarti
      @agarwalarti Před rokem

      @@archernikov Thank you Prof Chernikov. I have emailed you.

  • @TheFreeScientist
    @TheFreeScientist Před rokem

    thank you siir

  • @eesueryu4489
    @eesueryu4489 Před rokem

    Thanks!

  • @solaris413
    @solaris413 Před rokem

    are you following tao's book ?

  • @pedramnoohi2715
    @pedramnoohi2715 Před rokem

    Great Video!

  • @thomasjefferson6225

    Got a confict with classes. Hopefully youll get me through this lol. Edit, legit already better than most playlists. Induction explained clearly!!!

  • @krumpy8259
    @krumpy8259 Před rokem

    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.

  • @You_know_me_son
    @You_know_me_son Před rokem

    What books do you recommend for this course sir?

    • @archernikov
      @archernikov Před rokem

      We are roughly following K.A. Ross, Elementary Analysis: The Theory of Calculus, 2nd Ed, but with some changes.

  • @You_know_me_son
    @You_know_me_son Před rokem

    Thank you , Professor. These lectures are so much useful for me

  • @tankoanoberenger870

    Thanks a lot

  • @alieser7770
    @alieser7770 Před rokem

    Thank you so much for your time and kindness sir!

  • @vineetrana9772
    @vineetrana9772 Před rokem

    Can anyone explain how at 40:22 ,. -a>0 ??

    • @benjaminbachrach1964
      @benjaminbachrach1964 Před rokem

      If a<0 (a is negative), then -a>0 (negative of a negative real number is positive)

    • @vineetrana9772
      @vineetrana9772 Před rokem

      @@benjaminbachrach1964 thank you Benjamin :-)

    • @boutiquemaths
      @boutiquemaths Před 4 měsíci

      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!

  • @exodus8814
    @exodus8814 Před rokem

    This series was an absolute gem. Thank you Professor.

    • @archernikov
      @archernikov Před rokem

      Thank you for the kind review - glad to hear you've enjoyed it!

  • @thephysicistcuber175

    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.

    • @alvoi4379
      @alvoi4379 Před rokem

      yeah, there is the same misprint in Marker's book

  • @user-sr8vk9sx4n
    @user-sr8vk9sx4n Před rokem

    should logic symbols also include "for all" and "or"

    • @archernikov
      @archernikov Před rokem

      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.

  • @Karim-nq1be
    @Karim-nq1be Před rokem

    Very good course, easy to follow, will look at more videos. Thank you.

  • @ranjithmahendran5453
    @ranjithmahendran5453 Před 2 lety

    Brilliant! Thank you, Professor

    • @archernikov
      @archernikov Před 2 lety

      Thank you! I'm glad you find this videos helpful.

  • @hybmnzz2658
    @hybmnzz2658 Před 2 lety

    Instant subscription

  • @fazilsafarov4204
    @fazilsafarov4204 Před 2 lety

    Sir, how can we conclude that m-1 is less or equal than a? (46:24)

    • @luojia4923
      @luojia4923 Před 9 měsíci

      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.

  • @SupposeMath
    @SupposeMath Před 2 lety

    Can you share the name of book you are following? Is it Linear Algebra by Stephen H Friedberg?

    • @archernikov
      @archernikov Před 2 lety

      Yes, we are following S. Friedberg, et al, Linear Algebra, 5th Ed., Pearson.

    • @SupposeMath
      @SupposeMath Před 2 lety

      Thanks

  • @tera_BAAP_Bhatt_R.K
    @tera_BAAP_Bhatt_R.K Před 2 lety

    Sir pls make more vedio great explain of friedberg

  • @clarenceowens9308
    @clarenceowens9308 Před 2 lety

    p̷r̷o̷m̷o̷s̷m̷ 😕

  • @peterd5843
    @peterd5843 Před 2 lety

    23:00

  • @boma8218
    @boma8218 Před 2 lety

    It's really helpful! professor Thank you for your lecture

  • @mariyams1418
    @mariyams1418 Před 2 lety

    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?

  • @gugapilar3323
    @gugapilar3323 Před 2 lety

    Continue firme com os viideos! Lhe desejo toda sorte com o canal! Continue firme com os videos! Um abraço e até mais!

  • @AKS37000
    @AKS37000 Před 2 lety

    Your real Analysis lectures helped a lot !!

  • @AKS37000
    @AKS37000 Před 2 lety

    Artem thanks for this lecture series

  • @Spacexioms
    @Spacexioms Před 2 lety

    Is there any notes that are publicly available?

  • @llinuxer
    @llinuxer Před 2 lety

    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?

    • @archernikov
      @archernikov Před 2 lety

      Feel free to e-mail me if you are interested in homework problems and other study materials!

  • @llinuxer
    @llinuxer Před 2 lety

    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?

  • @cedricqi6092
    @cedricqi6092 Před 2 lety

    Thank you Dr. Chernikov, I have watched all and copied your note.

    • @archernikov
      @archernikov Před 2 lety

      Great job Cedric, glad to hear my videos were helpful in your studies!

  • @Smuggel-14p
    @Smuggel-14p Před 2 lety

    what is the name of the book

  • @shadazmi5402
    @shadazmi5402 Před 2 lety

    These are awesome! are there some psets or referred textbook to accompany these lectures? I have been searching for a proper course on logic.

  • @punditgi
    @punditgi Před 2 lety

    This is all very logical! Many thanks for your videos. 🙂