๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Remark on a Set Theory Based on Positive Logicby Th. Skolem

โœ Scribed by Review by: Frederic B. Fitch

Book ID
124949659
Publisher
Association for Symbolic Logic
Year
1956
Tongue
English
Weight
274 KB
Volume
21
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On a positive set theory with inequality
On a positive set theory with inequality
โœ Giacomo Lenzi ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 95 KB

We introduce a quite natural Frege-style set theory, which we call Strong-Frege-2 (SF2 ), a sort of simplification of the theory considered in [13] (under the name Strong-Frege-3) and [1] (under the name F2). We give a model of a weaker variant of SF2 , called SF2 AC, where atoms and coatoms are all