Compactness and Countable Models (The Power and Limits of Logic, 6)

preview_player
Показать описание
A class video for an advanced undergraduate unit on the power and limits of first order predicate logic, taught at the University of Melbourne.

This video discusses the Compactness Theorem and the Downward Löwenheim-Skolem Theorems.

  1. Greg Restall
Рекомендации по теме
Compactness and Countable 0:19:49

Compactness and Countable Models (The Power and Limits of Logic, 6)

Menachem Magidor - 0:57:54

Menachem Magidor - Compactness and Incompactness at small Cardinals

Types and definable 0:42:08

Types and definable compactness in o-minimality and beyond

Martín Escardó: 'Compact 1:10:05

Martín Escardó: 'Compact totally separated types in constructive univalent type theory'

Some properties between 0:54:07

Some properties between countable compactness and pseudocompactness in topological groups

The Continuum Hypothesis 0:55:19

The Continuum Hypothesis and the search for Mathematical Infinity, W. Hugh Woodin

Equivalent Characterization of 0:54:36

Equivalent Characterization of Compactness - Part 1

Sandra Müller: Lower 0:33:13

Sandra Müller: Lower bounds for the perfect set property at weakly compact cardinals

This is Why 0:00:39

This is Why Topology is Hard for People #shorts

Mathematical Logic, Lecture 0:48:41

Mathematical Logic, Lecture 25 (The number of countable models)

Compactness with quantifiers 1:38:46

Compactness with quantifiers

Mod-01 Lec-11 Maximally 0:51:20

Mod-01 Lec-11 Maximally Consistent Sets

MM70 - Jouko 0:50:29

MM70 - Jouko Väänänen - Inner models from extended logics

Infinities of age 0:50:49

Infinities of age and size - Part 2 (George Ellis)

JDG 2017: William 0:52:43

JDG 2017: William Minicozzi: Level set method for motion by mean curvature

Hilbert Spaces Without 0:55:54

Hilbert Spaces Without Countable AC

Martín Escardó: Compact 0:58:28

Martín Escardó: Compact ordinals in HoTT/UF

World Logic Day 2:04:14

World Logic Day - Set Theory Seminar Series Extended

Thomas Koberda - 0:42:00

Thomas Koberda - First order theory of homeomorphism groups of compact manifolds

Borel chromatic numbers 0:49:05

Borel chromatic numbers of locally countable $F_\sigma$ graphs defined on compact spaces

Topology PhD Qualifying 2:02:34

Topology PhD Qualifying Exam Problems (Stream 1)

Absolute notions in 0:45:20

Absolute notions in model theory

Rahim Moosa: Nonstandard 0:51:46

Rahim Moosa: Nonstandard compact complex manifolds with a generic auto-morphism

Symmetry and Convergence 0:47:56

Symmetry and Convergence