## Abstract The present article deals with the power of the axiom of choice (AC) within the second‐order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in
The Fregean Axiom and Polish mathematical logic in the 1920s
✍ Scribed by Roman Suszko
- Publisher
- Springer Netherlands
- Year
- 1977
- Tongue
- English
- Weight
- 245 KB
- Volume
- 36
- Category
- Article
- ISSN
- 0039-3215
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
This paper presents information on the life and work of Stanisław Pia ¸tkiewicz (1849-?). His Algebra w logice (Algebra in Logic) of 1888 contains an exposition of the algebra of logic and its use in representing syllogisms. This was the first original Polish publication on symbolic logic. It appear
A. N. Whitehead (1861N. Whitehead ( -1947) ) contributed notably to the foundations of pure and applied mathematics, especially from the late 1890s to the mid 1920s. An algebraist by mathematical tendency, he surveyed several algebras in his book Universal Algebra (1898). Then in the 1900s he joined