Constructive set theory

Formal sciences
Logic
Non-classical logic
Intuitionistic logic

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Covers the basics of formal languages, including alphabets, words, and languages, as well as operations like concatenation and reversal.

Linear Algebra: Propositions and Sets

Covers propositions indexed by vectors, proof by induction, and Cartesian products of sets.

Sigma Field: Random Variables

Explores sigma fields generated by random variables and their connection to measurable functions.

Standard Properties: Distance and Norm

Covers the standard properties of distance and norm in vector spaces.

Active Learning: Group Structures and Symmetric Actions

Explores active learning implications in understanding group structures and symmetric actions.

Group Actions on Sets

Explores group actions on sets through homomorphisms and Cartesian products, illustrating their properties and equivalent definitions.

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.

Set Theory: Basics and Operations

Covers the basics of set theory, including sets, elements, operations, empty sets, and defining sets based on properties.

Finite probability spaces

Introduces finite probability spaces, random permutations, graphs, and trees with examples and calculations.

Understanding Equivalence Relations and Integer Construction

Covers the construction of integers through equivalence relations and their properties in mathematics.

Exemple: Infimum and Supremum

Illustrates the calculation of infimum and supremum for a set of elements.

Real Numbers: sqrt(2)

Explores real numbers, focusing on the square root of 2 and the implications of its irrationality.

Page 2 of 2