Set Theory and Foundations of Mathematics

About (purpose and author) - Foundations of physics - Other topics and links
Other languages : FR − RU − TR − ES

.

Cycle
of foundations

1. First foundations of mathematics (details) - all in 1 file (30 paper pages) - obsolete pdf in 13 + 7 pages.

1.1. Introduction to the foundation of mathematics
1.2. Variables, sets, functions and operations
1.3. Form of theories: notions, objects, meta-objects
1.4. Structures of mathematical systems
1.5. Expressions and definable structures
1.6. Logical connectives
1.7. Classes in set theory
1.8. Bound variables in set theory
1.9. Quantifiers
1.10. Formalization of set theory
1.11. Set generation principle

Philosophical aspects

Time in model theory
Time in set theory
Interpretation of classes
Concepts of truth in mathematics

2. Set theory (continued) - all in one file (15 paper pages; obsolete pdf in 11 pages)

2.1. Tuples, families
2.2. Boolean operators on families of sets
2.3. Products, graphs and composition
2.4. Uniqueness quantifiers, functional graphs
2.5. The powerset axiom
2.6. Injectivity and inversion
2.7. Properties of binary relations on a set ; ordered sets
2.8. Canonical bijections
2.9. Equivalence relations and partitions
2.10. Axiom of choice (updated, jan. 2017)
2.11. Galois connection

3. Algebra 1 (all in one file) updated, July 2017

3.1. Relational systems and concrete categories
3.2. Algebras
3.3. Special morphisms
3.4. Monoids
3.5. Actions of monoids
3.6. Invertibility and groups
3.7. Categories
3.8. Algebraic terms and term algebras
3.9. Integers and recursion
3.10. Arithmetic with addition

4. Model Theory

4.1. Finiteness and countability (new, jan. 2017; not yet finalized)
4.2. The Completeness Theorem (updated, aug. 2017)
4.3. Non-standard models of Arithmetic
4.4. Infinity and the axiom of choice
4.5. How theories develop (updated, feb. 2017)
4.6. The Incompleteness Theorem (draft)

More philosophical notes (uses Part 1 with philosophical aspects + recursion) :

Gödelian arguments against mechanism : what was wrong and how to do instead
Philosophical proof of consistency of the Zermelo-Fraenkel axiomatic system

5. Geometry (draft)

Groups, automorphisms and invariants
Second-order logic
Introduction to the foundations of geometry

What is geometry
Structures and permutations in the plane
Affine geometry
Beyond affine geometry
Euclidean geometry
The completeness of first-order geometry

General formalization tools (draft)

6. Algebra 2 (draft)

Products of systems
Varieties
Polymorphisms, invariants and clones of operations
Relational clones
Abstract clones
Rings
(To be continued - see below drafts)

7. Galois connections (11 pdf pages). Rigorously it only uses parts 1 (without complements) and 2. Its position has been moved from 3 for pedagogical reasons (higher difficulty level while the later texts are more directly interesting). The beginning was moved to 2.11.

Monotone Galois connections (adjunctions)
Upper and lower bounds, infimum and supremum
Complete lattices
Fixed point theorem
Transport of closure
Preorder generated by a relation
Finite sets
Generated equivalence relations, and more
Well-founded relations

Drafts of more texts, to be reworked later

Dimensional analysis : Quantities and real numbers - incomplete draft text of a video lecture I wish to make on 1-dimensional geometry
Introduction to inversive geometry
Duality systems and theories
Affine geometry
Introduction to topology
Vector spaces in duality
Axiomatic expressions of Euclidean and Non-Euclidean geometries
Cardinals

Well-orderings and ordinals (with an alternative to Zorn's Lemma).

Diverse texts ready but not classified

Pythagorean triples (triples of integers (a,b,c) forming the sides of a right triangle, such as (3,4,5))

Resolution of cubic equations

Contributions to Wikipedia

I wrote large parts of the Wikipedia article on Foundations of mathematics (Sep. 2012 - before that, other authors focused on the more professional and technical article Mathematical logic instead; the Foundations of mathematics article is more introductory, historical and philosophical) and improved the one on the completeness theorem.