Mathematical logic | Model theory | Theoretical computer science
In mathematical logic, institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system. (Wikipedia).
Model Theory - part 01 - The Setup in Classical Set Valued Model Theory
Here we give the basic setup for Model Theory. I learned this from a talk Tom Scanlon gave in 2010 at CUNY.
From playlist Model Theory
2. Utilities, Endowments, and Equilibrium
Financial Theory (ECON 251) This lecture explains what an economic model is, and why it allows for counterfactual reasoning and often yields paradoxical conclusions. Typically, equilibrium is defined as the solution to a system of simultaneous equations. The most important economic mode
From playlist Financial Theory with John Geanakoplos
R - Hierarchical Confirmatory Factor Analysis Lecture
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer 2016 This lecture covers the basics to understanding a hierarchical CFA, in contrast to a bifactor CFA model. Interpretation and discussion of the theoretical differences between these models and first order models are discu
From playlist Structural Equation Modeling
Bas Spitters: Modal Dependent Type Theory and the Cubical Model
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: In recent years we have seen several new models of dependent type theory extended with some form of modal necessity operator, including nominal type theory, guarded and c
From playlist Workshop: "Types, Homotopy, Type theory, and Verification"
R - Structural Equation Model Basics Lecture 1
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer 2016 This lecture covers the basic terminology for structural equation modeling including: identification, scaling, variable types, manifest/latent variables, path coefficient types, endogenous/exogenous variables, degrees o
From playlist Structural Equation Modeling
Model Theory - part 07 - Semantics pt 1
This is the first video on semantics.
From playlist Model Theory
Set Theory (Part 2): ZFC Axioms
Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce some common axioms in set theory using the Zermelo-Fraenkel w/ choice (ZFC) system. Five out of nine ZFC axioms are covered and the remaining four will be introduced in their
From playlist Set Theory by Mathoma
20. Weber on Legal-Rational Authority
Foundations of Modern Social Thought (SOCY 151) The purest form—the ideal type—of Weber's legal-rational type of authority is bureaucracy. Legal-rational authority indicates that authority is invested in a set of rules and rule-bound institutions and that the creating and changing the
From playlist Foundations of Modern Social Theory with Iván Szelényi
On the Setoid Model of Type Theory - Erik Palmgren
Erik Palmgren University of Stockholm October 18, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
The Role of Theory in Science - David Gross
Speaker : David Gross (KITP, Santa Barbara) Date and Time : 28 Dec 2009, 05:30 PM Venue : J. N. Tata Auditorium, IISc, Bangalore On the occasion of the inauguration of the International Centre for Theoretical Sciences, TIFR, I shall share some of my observations and conclusions as to the
From playlist Public Lectures
IMPA in a context of international reconfiguration of mathematics – T. Roque – ICM2018
History of Mathematics Invited Lecture 19.3 IMPA’s coming of age in a context of international reconfiguration of mathematics Tatiana Roque Abstract: In the middle of the 20^{th} century, the intimate link between science, industry and the state was stimulated, in its technical-scientifi
From playlist History of Mathematics
In Memoriam of Joseph Polchinski by Spenta Wadia
Nonperturbative and Numerical Approaches to Quantum Gravity, String Theory and Holography DATE:27 January 2018 to 03 February 2018 VENUE:Ramanujan Lecture Hall, ICTS Bangalore The program "Nonperturbative and Numerical Approaches to Quantum Gravity, String Theory and Holography" aims to
From playlist Nonperturbative and Numerical Approaches to Quantum Gravity, String Theory and Holography
Wolfram Institute Launch Event
Join Stephen Wolfram for the launch of the Wolfram Institute! Learn more: https://www.wolframinstitute.org/ Originally livestreamed at: https://www.twitch.tv/stephen_wolfram/ Follow us on our official social media channels. Twitter: https://twitter.com/WolframResearch Facebook: https:/
From playlist Science and Research Livestreams
Applying Bridges: The New Institutional Lens
Bridges out of Poverty is an incredibly powerful framework; in fact, once you've heard it, there really is no going back! Typically, the "aha! moments" come at the individual level; for improved relationships. But then what? The possibilities are endless in totally embedding Bridges into y
From playlist Free Webinar Series
Film Interviews with Leading Thinkers: Neil Turok [2008]
Description: An interview on the life and work of Neil Turok, Professor of mathematical physics at Cambridge. Interviewed by Tina Kosir on 19th February 2008 and filmed by Alan Macfarlane and edited by Sarah Harrison, lasts two hours. Generously supported by the Leverhulme Trust. Created
From playlist Mathematics
Srinivasa Varadhan - The Abel Prize interview 2007
0:00 Abel Prize Ceremonies (Norwegian) 01:00 Interview with Skau and Raussen starts 02:30 Why so long for probability or statistics to be recognised? 04:35 Born and raised on Chennai, studied at Madras; mathematical influences 05:52 Excellent math. teacher, math. for enjoyment 07:30 Why gr
From playlist The Abel Prize Interviews
Yang-Mills for mathematicians (Lecture - 01) by Sourav Chatterjee
INFOSYS-ICTS RAMANUJAN LECTURES SOME OPEN QUESTIONS ABOUT SCALING LIMITS IN PROBABILITY THEORY SPEAKER Sourav Chatterjee (Stanford University, California, USA) DATE & TIME 14 January 2019 to 18 January 2019 VENUE Madhava Lecture Hall, ICTS campus GALLERY Lecture 1: Yang-Mills for mathemat
From playlist Infosys-ICTS Ramanujan Lectures
Huawei Young Talents Programme - Introduction speeches
The online ceremony celebrating the official launch of the Huawei Young Talents Program at the Institut des Hautes Etudes Scientifiques was held on 6 November 2020. This program aims to support the work of talented researchers in mathematics and theoretical physics at the beginning of thei
From playlist Huawei Young Talents Program - November 2020
Natural Models of Type Theory - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics March 28, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics