# A one axiom set theory based on higher order predicate calculus.

Archiv für mathematische Logik und Grundlagenforschung (1983)

- Volume: 23, page 99-108
- ISSN: 0003-9268

## Access Full Article

top## How to cite

topBunder, M.W.. "A one axiom set theory based on higher order predicate calculus.." Archiv für mathematische Logik und Grundlagenforschung 23 (1983): 99-108. <http://eudml.org/doc/138010>.

@article{Bunder1983,

author = {Bunder, M.W.},

journal = {Archiv für mathematische Logik und Grundlagenforschung},

keywords = {combinatory logic; identification of sets with first order predicates; higher order predicate calculus; axioms of ZF; individuals},

pages = {99-108},

title = {A one axiom set theory based on higher order predicate calculus.},

url = {http://eudml.org/doc/138010},

volume = {23},

year = {1983},

}

TY - JOUR

AU - Bunder, M.W.

TI - A one axiom set theory based on higher order predicate calculus.

JO - Archiv für mathematische Logik und Grundlagenforschung

PY - 1983

VL - 23

SP - 99

EP - 108

KW - combinatory logic; identification of sets with first order predicates; higher order predicate calculus; axioms of ZF; individuals

UR - http://eudml.org/doc/138010

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.