Lectures related to Well-ordering principle

Endomorphisms and automorphisms of totally disconnected locally compact groups V

Explores endomorphisms and automorphisms of totally disconnected locally compact groups, emphasizing surjective homomorphisms and free abelian groups.

Mathematical Recursion: Induction and Recursion

Explains mathematical induction for proving propositions true for all positive integers.

Real Numbers: Sets and Operations

Covers the fundamental concepts related to real numbers, including sets, notations, and operations.

Mathematical Recursion: Induction and Recursion

Covers the principle of mathematical induction for proving propositions true for all positive integers.

Integers: Elementary Concepts

Covers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.

Logical Structure: Choice and Bar Induction Principles

Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.