Set Theory: The branch of mathematical logic that studies collections of objects, known as sets. Cardinal Function: A function that assigns a measure of size or cardinality to sets, particularly ...

For proofs in constructive set theory CZF⁻, ... 'A Characterization of ∑₁-definable Functions of KPω+ (uniform AC)' Archive for Mathematical Logic 37, pp. 199-214. Diller, J. 1979, 'Functional ...

Several fuzzy connectives, including those proposed by Lotfi Zadeh, can be seen as linear extensions of the Boolean connectives from the scale {0,1} into the scale [0,1]. We discuss these extensions, ...

In this paper, we investigate the wireless network deployment problem, which seeks the best deployment of a given limited number of wireless routers. We find that many goals for network deployment, ...