Vaughts theorem holds for L2 but fails for Ln when n> 2

&
Bulletin of the Section of Logic 39 (3/4):107-122 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Interference competition set limits to the fundamental theorem of natural selection.Lars Witting - 2000 - Acta Biotheoretica 48 (2):107-120.
Real closures of models of weak arithmetic.Emil Jeřábek & Leszek Aleksander Kołodziejczyk - 2013 - Archive for Mathematical Logic 52 (1-2):143-157.
Van Lambalgen's Theorem and High Degrees.Johanna N. Y. Franklin & Frank Stephan - 2011 - Notre Dame Journal of Formal Logic 52 (2):173-185.
The Sacks density theorem and Σ2-bounding.Marcia J. Groszek, Michael E. Mytilinaios & Theodore A. Slaman - 1996 - Journal of Symbolic Logic 61 (2):450 - 467.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
The classification of small weakly minimal sets. III: Modules.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (3):975-979.
The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
A bayesian examination of time-symmetry in the process of measurement.Abner Shimony - 1996 - Erkenntnis 45 (2-3):337 - 348.
Where ma first fails.Kenneth Kunen - 1988 - Journal of Symbolic Logic 53 (2):429-433.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
Theorem 1 (Easton's Theorem). There is a forcing extension L [G] of L in which GCH fails at every regular cardinal. Assume that the universe V of all sets is rich in the sense that it contains inner models with large cardinals. Then what is the relationship between Easton's model L [G] and V? In particular, are these models compatible. [REVIEW]Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4).

Analytics

Added to PP
2013-12-18

Downloads
35 (#445,257)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.

View all 8 references / Add more references