1:26:49A. Visser. Interpreters as consistoids
A 87-minute video from МЦМУ МИАН: “A. Visser. Interpreters as consistoids”.
МЦМУ МИАН
21.1K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
1:26:49
1:47:11A. Visser. Interpreters as consistoids (continuation)
A 107-minute video from МЦМУ МИАН: “A. Visser. Interpreters as consistoids (continuation)”.
1:40:12A.A. Razborov. Propositional Proof Complexity
A 100-minute video from МЦМУ МИАН: “A.A. Razborov. Propositional Proof Complexity”.
1:16:41A.Nerode. The last 70 years of logic and its applications: A personal diary
A 77-minute video from МЦМУ МИАН: “A.Nerode. The last 70 years of logic and its applications: A personal diary”.
1:12:19A.S. Trepalin. Birational permutations of projective plane...
A 72-minute video from МЦМУ МИАН: “A.S. Trepalin. Birational permutations of projective plane...”.
1:41:45Albert Visser. Cyclic Henkin Logic
A 102-minute video from МЦМУ МИАН: “Albert Visser. Cyclic Henkin Logic”.
53:39Aldo Cotrone. The Holographic QCD Axion
A 54-minute video from МЦМУ МИАН: “Aldo Cotrone. The Holographic QCD Axion”.
1:12:36Andreas Weiermann. Giant and illusionary giant Goodstein principles
A 73-minute video from МЦМУ МИАН: “Andreas Weiermann. Giant and illusionary giant Goodstein principles”.
1:26:04Anna Dmitrieva. Axiomatizing Origami planes
A 86-minute video from МЦМУ МИАН: “Anna Dmitrieva. Axiomatizing Origami planes”.
2:03:09Anupam Das. On the logical complexity of cyclic arithmetic
A 123-minute video from МЦМУ МИАН: “Anupam Das. On the logical complexity of cyclic arithmetic”.
1:24:24B. Keller. Tate-Hochschild cohomology, the singularity category and applications
A 84-minute video from МЦМУ МИАН: “B. Keller. Tate-Hochschild cohomology, the singularity category and applications”.
1:56:35B.H. Partee. Language and logic: Ideas and controversies in the history of formal semantics
A 117-minute video from МЦМУ МИАН: “B.H. Partee. Language and logic: Ideas and controversies in the history of formal semantics”.
52:46B.I. Zilber. On the unreasonable effectiveness of logic
A 53-minute video from МЦМУ МИАН: “B.I. Zilber. On the unreasonable effectiveness of logic”.
52:42Ben Craps. Time-periodicities in holographic CFTs
A 53-minute video from МЦМУ МИАН: “Ben Craps. Time-periodicities in holographic CFTs”.
54:47Blaise Goutéraux. Normal densities in cool quantum critical superfluids
A 55-minute video from МЦМУ МИАН: “Blaise Goutéraux. Normal densities in cool quantum critical superfluids”.
1:18:55Brendan Hassett. Symbols, birational geometry, and computations
A 79-minute video from МЦМУ МИАН: “Brendan Hassett. Symbols, birational geometry, and computations”.
1:40:58Bruno Bauwens. An introduction to Kolmogorov complexity with applications to reinforcement learning
A 101-minute video from МЦМУ МИАН: “Bruno Bauwens. An introduction to Kolmogorov complexity with applications to reinforcement learning”.
1:15:34C. Birkar. Some work of Vyacheslav V. Shokurov
A 76-minute video from МЦМУ МИАН: “C. Birkar. Some work of Vyacheslav V. Shokurov”.
1:40:10C. Sabbah. Irregular Hodge theory: Applications to arithmetic and mirror symmetry
A 100-minute video from МЦМУ МИАН: “C. Sabbah. Irregular Hodge theory: Applications to arithmetic and mirror symmetry”.
1:46:09C. Voisin. On the Lefschetz standard conjecture for Lagrangian covered hyper-Kaehler varieties
A 106-minute video from МЦМУ МИАН: “C. Voisin. On the Lefschetz standard conjecture for Lagrangian covered hyper-Kaehler varieties”.
1:05:33Caucher Birkar. On non-rationality of degenerations of del Pezzo surfaces
A 66-minute video from МЦМУ МИАН: “Caucher Birkar. On non-rationality of degenerations of del Pezzo surfaces”.
1:23:35Christian Wurm. Language-theoretic models for the Full Lambek calculus
A 84-minute video from МЦМУ МИАН: “Christian Wurm. Language-theoretic models for the Full Lambek calculus”.
46:00D. Fernández-Duque. Goodstein principles of intermediate strength
A 46-minute video from МЦМУ МИАН: “D. Fernández-Duque. Goodstein principles of intermediate strength”.
1:31:26D. Huybrechts. Complex multiplication and twistor spaces
A 91-minute video from МЦМУ МИАН: “D. Huybrechts. Complex multiplication and twistor spaces”.
1:13:33D. Kozen. On Free ω-Continuous and Regular Ordered Algebras
A 74-minute video from МЦМУ МИАН: “D. Kozen. On Free ω-Continuous and Regular Ordered Algebras”.
49:34D.A. Kazhdan. A geometric approach to a description of the spectrum of the Hecke algebra on the...
A 50-minute video from МЦМУ МИАН: “D.A. Kazhdan. A geometric approach to a description of the spectrum of the Hecke algebra on the...”.
1:11:01D.A. Kazhdan. Geometric quantization
A 71-minute video from МЦМУ МИАН: “D.A. Kazhdan. Geometric quantization”.
1:05:53David Belanger. A more uniform Friedberg-Muchnik theorem
A 66-minute video from МЦМУ МИАН: “David Belanger. A more uniform Friedberg-Muchnik theorem”.
55:36Dimitrios Giataganas. Anisotropic Holography
A 56-minute video from МЦМУ МИАН: “Dimitrios Giataganas. Anisotropic Holography”.
1:05:06Donald Marolf. Baby Universes and Black Hole Information
A 65-minute video from МЦМУ МИАН: “Donald Marolf. Baby Universes and Black Hole Information”.
1:04:02Douglas Stanford. JT gravity at finite cutoff and self-avoiding loops
A 64-minute video from МЦМУ МИАН: “Douglas Stanford. JT gravity at finite cutoff and self-avoiding loops”.
1:02:34Elias Kiritsis. Holographic renormalization group flows on curved manifolds and F-theorems
A 63-minute video from МЦМУ МИАН: “Elias Kiritsis. Holographic renormalization group flows on curved manifolds and F-theorems”.
1:19:47Enayat, Ali. Set theory with a proper class of indiscernibles
A 80-minute video from МЦМУ МИАН: “Enayat, Ali. Set theory with a proper class of indiscernibles”.
1:35:30F. N. Pakhomov. Iterated ω-model reflection and Π12 proof-theoretic analysis
A 96-minute video from МЦМУ МИАН: “F. N. Pakhomov. Iterated ω-model reflection and Π12 proof-theoretic analysis”.
1:31:22F.D. Ancel. Rolfsen's Conjecture and wild knots that pierce wild disks
A 91-minute video from МЦМУ МИАН: “F.D. Ancel. Rolfsen's Conjecture and wild knots that pierce wild disks”.
1:40:05Francesco Russo. Hypersurfaces with vanishing Hessian
A 100-minute video from МЦМУ МИАН: “Francesco Russo. Hypersurfaces with vanishing Hessian”.