Practical Foundations of Mathematics

Paul Taylor

IX. The Quantifiers

IX. The Quantifiers

Practical Foundations of Mathematics   Paul Taylor   Cambridge University Press

Introduction   I   II   III   IV   V   VI   VII   VIII   IX   Bibliography  Index

INTRODUCTION

9.1    THE PREDICATE CONVENTION

9.2    INDEXED AND FIBRED CATEGORIES

9.3    SUMS AND EXISTENTIAL QUANTIFICATION

9.4    DEPENDENT PRODUCTS

9.5    COMPREHENSION AND POWERSET

9.6    UNIVERSES

EXERCISES  IX