Skolem-Löwenheim theorems

created by ariels

(thing) by ariels (20.9 hr) (print) ? (I like it!) Fri May 12 2000 at 19:08:02

(mathematical logic:)

"Skolem-Löwenheim theorem" is the name given to theorems which guarantee a system of axioms has models of some cardinality if it has models of some other cardinalities. Here are the 2 best known theorems of this type:

Be warned that the proofs are somewhat technical and uninspiring!

printable version
chaos

Upwards Skolem-Löwenheim theorem	Downwards Skolem-Löwenheim theorem	Mathematical Logic	Lemma of Choice
March 5, 2004	mathematics	skolemization	model theory
Prenex and Skolem normal forms	axiom	Child's Play 3

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.

Login
Password

remember me
password reminder
register

Everything2 Help

What you are reading:
Justice
Doreen
Dearest, I feel certain
A Sniper in Every Minaret
Gallipoli
stem cell
like this
Glamis Castle
Thermopylae
Vaguely valid advice to prospective weight trainers
This freaking obsession with really abysmal porn
Oxford Movement
Nagasaki

The Jacket
Words of Advice	(idea)
keepinitreal
Why buy the cow when you can get the milk for free?	(idea)
John_Fox
Good Intentions Gone Wrong	(person)
Cuckowski
Slavonic Princess	(poetry)
Heitah
Posthumous Oscar	(thing)
ignis_glaciesque
University of South Florida	(place)
ignis_glaciesque
Flogstaskriket	(idea)
liveforever
Caesar's last breath	(idea)
dagnyswaggart
she wants to believe	(personal)
antigravpussy
he doesn't know, but her eyes widen too far	(thing)
dagnyswaggart
Wild tides guard her secrets	(poetry)
Lord Brawl
Caesar's last breath	(poetry)
locke baron
Forgotten things in space	(fiction)
sitaraika
Colours	(idea)
etouffee
Wild tides guard her secrets	(poetry)

E2 is a by-product of the existence of The Everything Development Company