Lecture
Real Numbers: Sets and Operations
Related lectures (83)
Term Models for First-Order Logic
Explores term models, substructures, small model theorems, and the Herbrand model in first-order logic.
Partial Ordering: Relations, Sequences, Summation
Introduces partial orderings, lattices, and lexicographic orderings on Cartesian products.
How to Succeed in Exams
Offers strategies for exam success through revisiting notes and taking mock tests.
Integration Theory: Berkovich Spaces
Explores integration theory over real numbers and Berkovich spaces, revealing intriguing asymmetries and unsolved conjectures.
Complex Numbers: Imaginary Part
Explores the existence of an infinite number of complex numbers z.
Universal Covering: Basics
Covers the concept of universal covering and its properties, including examples and monodromy action.
Indices, Sums and Products
Covers real numbers, indexed sets, and factorial calculations in mathematical operations.
Characterization of Infimum and Supremum
Explores the definitions and properties of infimum and supremum in mathematical analysis.
Subtyping and Type Calculus
Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.