Kaomojis
🏛️∞↘️ℵ₀↗️ℵ₊
Copy
#löwenheim-skolem
#model theory
#cardinality
#infinite models
#downward löwenheim-skolem
#upward löwenheim-skolem
#aleph null
#first-order logic
🏛️∞⇔|א|
Copy
#löwenheim-skolem
#model theory
#cardinality
#infinite models
#aleph numbers
#first-order logic
#structure size
#ecnelaviuqe
∀∃₁🚫📏∞
Copy
#löwenheim-skolem
#first-order logic
#model theory
#expressiveness limitation
#cardinality
#infinite models
#non-categoricity
🏛️∞✅{ℵ₀ℵ₁...}
Copy
#löwenheim-skolem
#model theory
#model existence
#cardinality spectrum
#infinite models
#aleph numbers
#set theory
#first-order logic
#löwenheim-skolem #model theory #cardinality #infinite models #downward löwenheim-skolem #upward löwenheim-skolem #aleph null #first-order logic