Search CORE

21 research outputs found

A one axiom set theory based on higher order predicate calculus

Author: M. W. Bunder
M.W. Bunder
M.W. Bunder
M.W. Bunder
M.W. Bunder
M.W. Bunder
P. Vopênka
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Some generalizations to two systems of set theory based on combinatory logic

Author: M. W. Bunder
M.W. Bunder
M.W. Bunder
M.W. Bunder
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Predicate calculus and naive set theory in pure combinatory logic

Author: M. W. Bunder
M.W. Bunder
M.W. Bunder
M.W. Bunder
N.D. Goodman
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Equivalences between pure type systems and systems of illative combinatory logic

Author: Bunder M.W.
Dekkers W.J.M.
Publication venue: 'Notre Dame Journal of Formal Logic'
Publication date: 01/01/2005
Field of study

Contains fulltext : 103971.pdf (publisher's version ) (Open Access

Radboud Repository

Research Online

A weak absolute consistency proof for some systems of illative combinatory logic

Author: Bunder
Bunder
Bunder
Bunder
Bunder
Bunder
Curry
Curry
Kuzichev
M.W. Bunder
Publication venue: 'JSTOR'
Publication date
Field of study

Category theory based on combinatory logic.

Author: Bunder M.W.
Publication venue
Publication date
Field of study

DigiZeitschriften - OAI Frontend

Category theory based on combinatory logic

Author: H. Herrlich
H.B. Curry
H.B. Curry
M. W. Bunder
M.W. Bunder
M.W. Bunder
M.W. Bunder
S. Feferman
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Set theory in predicate calculus with equality

Author: M. W. Bunder
M.W. Bunder
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Natural Numbers In Illative Combinatory Logic.

Author: Bunder M.W.
Publication venue
Publication date
Field of study

DigiZeitschriften - OAI Frontend

Predicate calculus and naive set theory in pure combinatory logic.

Author: Bunder M.W.
Publication venue
Publication date
Field of study

DigiZeitschriften - OAI Frontend

core

core