Sets, Models and Proofs
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory, and explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study.
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 4 (17) 2001
Logic as a formal mathematical theory is interesting in itself. It poses problems, like any other body of knowledge. Some of them, especially questions concerning axiomatization, consistency,…
The strength of prime separation, sobriety, and compactness theorems
- MathematicsTopology and its Applications
The Axiom of Choice, Well-Ordering, and Well-Classification
- Mathematics, EconomicsAm. Math. Mon.
A simple characterization of those choice functions on P*(X) that are induced by a well-ordering on X is given and this is finally proved to be an equivalent form of the axiom of choice.
TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
- PhilosophyThe Review of Symbolic Logic
This paper begins an axiomatic development of naive set theory—the consequences of a full comprehension principle—in a paraconsistent logic, and indicates how later developments of cardinal numbers will lead to Cantor’s theorem, the existence of large cardinals, and a counterexample to the continuum hypothesis.
SEKI is published by the following institutions : German Research
We give some lectures on the work on formal logic of Jacques He rbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in…
Łoś's theorem and the axiom of choice
- EconomicsMath. Log. Q.
In set theory without the Axiom of Choice ( AC ), we investigate the problem of the placement of Łoś's Theorem ( LT ) in the hierarchy of weak choice principles, and answer several open questions…
The Bulletin of Symbolic Logic
We try to recast in modern terms a choice principle conceived by Beppo Levi, who called it the Approximation Principle (AP). Up to now, there was almost no discussion about Levi’s contribution, due…
Mechanizing set theory
- MathematicsJournal of Automated Reasoning
Fairly deep results of Zermelo-Frænkel set theory have been mechanized using the proof assistant Isabelle, and the equivalence of 7 formulations of the Well-ordering Theorem and 20 formulations of AC is proved.
SHOWING 1-3 OF 3 REFERENCES
Equivalents of the Axiom of Choice II
Set Forms. The Well-Ordering Theorem. The Axiom of Choice. The Law of the Trichotomy. Maximal Principles. Forms Equivalent to the Axiom of Choice Under the Axioms of Extensionality and Foundation.…
Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice
Fairly deep results of Zermelo-Frenkel set theory have been mechanized using the proof assistant Isabelle, and the equivalence of 7 formulations of the Well-ordering Theorem and 20 formulations of AC is proved.