Cargando…

Simplified independence proofs: Boolean valued models of set theory

Simplified independence proofs

Detalles Bibliográficos
Autor principal: Rooser, J Barkley
Lenguaje:eng
Publicado: Elsevier Science 2014
Materias:
Acceso en línea:http://cds.cern.ch/record/2115757
_version_ 1780949192396505088
author Rooser, J Barkley
author_facet Rooser, J Barkley
author_sort Rooser, J Barkley
collection CERN
description Simplified independence proofs
id cern-2115757
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2014
publisher Elsevier Science
record_format invenio
spelling cern-21157572021-04-21T19:57:04Zhttp://cds.cern.ch/record/2115757engRooser, J BarkleySimplified independence proofs: Boolean valued models of set theoryMathematical Physics and MathematicsSimplified independence proofsElsevier Scienceoai:cds.cern.ch:21157572014
spellingShingle Mathematical Physics and Mathematics
Rooser, J Barkley
Simplified independence proofs: Boolean valued models of set theory
title Simplified independence proofs: Boolean valued models of set theory
title_full Simplified independence proofs: Boolean valued models of set theory
title_fullStr Simplified independence proofs: Boolean valued models of set theory
title_full_unstemmed Simplified independence proofs: Boolean valued models of set theory
title_short Simplified independence proofs: Boolean valued models of set theory
title_sort simplified independence proofs: boolean valued models of set theory
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2115757
work_keys_str_mv AT rooserjbarkley simplifiedindependenceproofsbooleanvaluedmodelsofsettheory