Some criteria for acceptable abstraction. (English) Zbl 1252.03015
Summary: Which abstraction principles are acceptable? A variety of criteria have been proposed, in particular, irenicity, stability, conservativeness, and unboundedness. This note charts their logical relations. This answers some open questions and corrects some old answers.
MSC:
03A05 | Philosophical and critical aspects of logic and foundations |
00A30 | Philosophy of mathematics |
03C65 | Models of other mathematical theories |