(adsbygoogle = window.adsbygoogle || []).push({}); Can a model be countable from its own "perspective"?

I'm reading about Skolem. And I'm wondering about the result of the paradox: that countability (at least in first-order formulations) is relative. Now, even when we state Skolem's theory -- if a first-order theory has an infinite model then it has a countable model -- from what "perspective" is this model countable? From another model? Absolutely?

If we say that a model M is countable "from its own perspective" that means there is some bijection (set) B in the domain of M containing every set in the domain of M (including B) and the set of natural numbers. But that can't happen, because then B would be a member of itself.

So, when we casually talk about countability, we take it to be an absolute notion. But, what does this say about Skolem's Paradox?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Can a model be countable from its own perspective ?

Loading...

Similar Threads for model countable perspective | Date |
---|---|

I Fitting two models in sequence with parameters in common | Jan 14, 2018 |

I Shaky model in least squares fit | Jun 16, 2017 |

A Transcription from SQL to FOL (First Order Logic) | Jun 3, 2017 |

Must all models of ZFC (in a standard formulation) be at least countable? | May 24, 2012 |

**Physics Forums - The Fusion of Science and Community**