𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Axioms of Order and Succession

✍ Scribed by Kurt Bing

Book ID
124950717
Publisher
Association for Symbolic Logic
Year
1957
Tongue
English
Weight
158 KB
Volume
22
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Forms of the Pasch axiom in ordered geom
Forms of the Pasch axiom in ordered geometry
✍ Victor Pambuccian πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 88 KB πŸ‘ 1 views

## Abstract We prove that, in the framework of ordered geometry, the inner form of the Pasch axiom (**IP**) does not imply its outer form (**OP**). We also show that **OP** can be properly split into **IP** and the weak Pasch axiom (**WP**) (Β© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Uniform versions of some axioms of secon
Uniform versions of some axioms of second order arithmetic
✍ Nobuyuki Sakamoto; Takeshi Yamazaki πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 132 KB

## Abstract In this paper, we discuss uniform versions of some axioms of second order arithmetic in the context of higher order arithmetic. We prove that uniform versions of weak weak KΓΆnig's lemma WWKL and Ξ£^0^~1~ separation are equivalent to (βˆƒ^2^) over a suitable base theory of higher order arit

The Axiom of Choice in Second-Order Pred
The Axiom of Choice in Second-Order Predicate Logic
✍ Christine Gaßner πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 586 KB

## 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