Studies on the axiom of comprehension

Notre Dame Journal of Formal Logic 4 (3):162-170 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957573

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On a problem of Th. Skolem.John H. Harris - 1970 - Notre Dame Journal of Formal Logic 11 (3):372-374.
The Axiom Scheme of Acyclic Comprehension.Zuhair Al-Johar, M. Randall Holmes & Nathan Bowler - 2014 - Notre Dame Journal of Formal Logic 55 (1):11-24.
Th. Skolem. Two remarks on set theory. Mathematica Scandinavica, vol. 5 , pp. 40–46. - John H. Harris. On a problem of Th. Skolem. Notre Dame Journal of formal logic, vol. 11 , pp. 372–374. [REVIEW]Jean E. Rubin - 1971 - Journal of Symbolic Logic 36 (4):680.
Investigations on a comprehension axiom without negation in the defining propositional functions.Thoralf Skolem - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):13-22.
Skolem fragments.Daniel Bonevac - 1984 - Notre Dame Journal of Formal Logic 25 (3):227-232.
A proof of the Löwenheim-Skolem theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.Stephen L. Bloom - 1973 - Notre Dame Journal of Formal Logic 14 (3):408-410.
An equivalent of the axiom of choice in finite models of the powerset axiom.Alexander Abian & Wael A. Amin - 1990 - Notre Dame Journal of Formal Logic 31 (3):371-374.
The axiom of choice in topology.Norbert Brunner - 1983 - Notre Dame Journal of Formal Logic 24 (3):305-317.
Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem.Ildikó Sain - 1988 - Notre Dame Journal of Formal Logic 29 (3):332-344.

Analytics

Added to PP
2010-08-24

Downloads
44 (#529,991)

6 months
8 (#390,329)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
One Step is Enough.David Ripley - 2021 - Journal of Philosophical Logic 51 (6):1-27.
One Step is Enough.David Ripley - 2022 - Journal of Philosophical Logic 51 (6):1233-1259.
Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references