Combining Texts

Ideas for 'Euthyphro', 'Introduction to the Philosophy of Mathematics' and 'The Idea of the Brain'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation

17930	Axioms are 'categorical' if all of their models are isomorphic [Colyvan]
	Full Idea: A set of axioms is said to be 'categorical' if all models of the axioms in question are isomorphic.
	From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 2.1.2)
	A reaction: The best example is the Peano Axioms, which are 'true up to isomorphism'. Set theory axioms are only 'quasi-isomorphic'.