Elementary constructive operational set theory. To appear in: Festschrift for Wolfram Pohlers, Ontos Verlag

by A. Cantini , L. Crosilla , Dedicated Prof , Wolfram Pohlers

Citations:

2 - 0 self

Datum	Value	Source
TITLE	Elementary constructive operational set theory. To appear in: Festschrift for Wolfram Pohlers, Ontos Verlag	INFERENCE
AUTHOR NAME	A. Cantini	SVM HeaderParse 0.2
AUTHOR NAME	L. Crosilla	SVM HeaderParse 0.2
AUTHOR NAME	Dedicated Prof	SVM HeaderParse 0.2
AUTHOR NAME	Wolfram Pohlers	SVM HeaderParse 0.2
ABSTRACT	Abstract. We introduce an operational set theory in the style of [5] and [17]. The theory we develop here is a theory of constructive sets and operations. One motivation behind constructive operational set theory is to merge a constructive notion of set ([1], [2]) with some aspects which are typical of explicit mathematics [14]. In particular, one has non-extensional operations (or rules) alongside extensional constructive sets. Operations are in general partial and a limited form of self–application is permitted. The system we introduce here is a fully explicit, finitely axiomatised system of constructive sets and operations, which is shown to be as strong as HA. 1.	SVM HeaderParse 0.2
CITATIONS	32 found	ParsCit 1.0