Set Theory and Foundations of Mathematics

About (purpose and author) - Foundations of physics - Other topics and links
Other languages : FRRUTRES

        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 ; ordered sets
2.8. Canonical bijections
2.9. Equivalence relations and partitions
2.10. Axiom of choice
2.11. Galois connection

3. Algebra 1 (all in one file)(updated, nov. 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
3.9. Term algebras (still incomplete)
3.10. Integers and recursion
3.11. Presburger Arithmetic

4. Model Theory
4.1. Finiteness and countability (draft)
4.2. The Completeness Theorem
4.3. Non-standard models of Arithmetic
4.4. How theories develop
4.5. Second-order logic (last updated, dec. 2017)
4.6. Well-foundedness
4.7. Ordinals and cardinals (draft)
4.8. Undecidability of the axiom of choice
4.9. Second-order arithmetic
4.10. 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)
5.1. Introduction to the foundations of geometry
5.2. Invariants in concrete categories
5.3. Affine and vector spaces
5.4. Barycenters
Beyond affine geometry
Euclidean geometry

6. Algebra 2 (draft)
Products of systems
Polymorphisms, invariants and clones of operations
Relational clones
Abstract clones
(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

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.