Two model theoretic ideas in independence proofs

David Pincus

Fundamenta Mathematicae (1976)

  • Volume: 92, Issue: 2, page 113-130
  • ISSN: 0016-2736

How to cite

top

Pincus, David. "Two model theoretic ideas in independence proofs." Fundamenta Mathematicae 92.2 (1976): 113-130. <http://eudml.org/doc/214946>.

@article{Pincus1976,
author = {Pincus, David},
journal = {Fundamenta Mathematicae},
keywords = {Mostowski's intersection lemma; ordering theorem; Boolean prime ideal theorem; compactness theorem; indiscernibles; Mostowski's linearly ordered model; Ehrenfeucht-Mostowski theorem; Halpern-Levy model},
language = {eng},
number = {2},
pages = {113-130},
title = {Two model theoretic ideas in independence proofs},
url = {http://eudml.org/doc/214946},
volume = {92},
year = {1976},
}

TY - JOUR
AU - Pincus, David
TI - Two model theoretic ideas in independence proofs
JO - Fundamenta Mathematicae
PY - 1976
VL - 92
IS - 2
SP - 113
EP - 130
LA - eng
KW - Mostowski's intersection lemma; ordering theorem; Boolean prime ideal theorem; compactness theorem; indiscernibles; Mostowski's linearly ordered model; Ehrenfeucht-Mostowski theorem; Halpern-Levy model
UR - http://eudml.org/doc/214946
ER -

NotesEmbed ?

top

You must be logged in to post comments.