1
vote
3answers
173 views

A quick question about categoricity in model theory

I just want to see if I am using the term "categoricity" correctly in the following context: (1) I was thinking about why someone might reject a simple resolution to Skolem's Paradox. (2) The ...
5
votes
3answers
350 views

How exactly do logic and mathematics interact and what happens when we change the logic?

[Note: this question turned out to be pretty huge, so if you think it would be better to split it up into smaller questions, please comment. The questions here are quite conceptually intertwined and ...