Finite Models of ZF - Infinity

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
Sign up Log in
2 replies · 2K views
Dragonfall
Messages
1,023
Reaction score
5
Is there a finite model of ZF - Infinity?
 
Physics news on Phys.org

Discussion

No. Any model of ZF - Infinity contains a model of the integers. (Although it need not have a "set of integers")

There is an empty model of ZF - Infinity - Null set, though.
 

Similar threads

Undergrad Direct limit of multiverse models of ZFC
  • omega
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
High School Does Infinity Times Two Equal Infinity and Other Mathematical Paradoxes?
  • docnet
  • · Replies 7 ·
  • Set Theory, Logic, Probability, Statistics
Replies
7
High School Are ZF axioms redundant given physical information models?
  • mustang19
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Undergrad How did the universe expand from a finite singularity to infinity?
  • outremer
  • · Replies 13 ·
  • Astronomy, Astrophysics, Cosmology
Replies
13
Graduate Must all models of ZFC (in a standard formulation) be at least countable?
  • mpitluk
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Can we take limits to infinity in finite sets of $\Bbb{N}$?
  • ozkan12
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3
Graduate Formal axiom systems and the finite/infinite sets
  • RockyMarciano
  • · Replies 10 ·
  • Set Theory, Logic, Probability, Statistics
Replies
10
Graduate How to characterize mathematical models for comparison
  • tez369
  • · Replies 4 ·
  • Set Theory, Logic, Probability, Statistics
Replies
4
Graduate L and inaccessibles as models of ZFC
  • nomadreid
  • · Replies 4 ·
  • Set Theory, Logic, Probability, Statistics
Replies
4
Graduate Using incorrect models to infer correct ones.
  • FallenApple
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2