The Harrington Paradox Squared
نویسندگان
چکیده
منابع مشابه
The Paris-Harrington Theorem
In Ramsey theory, very large numbers and fast-growing functions are more of a rule than an exception. The classical Ramsey numbers R(n,m) are known to be of exponential size: the original proof directly gives the upper bound R(n,m) ≤ ( m+n−2 n−1 ) , and an exponential lower bound is also known. For the van der Waerden numbers, the original proof produced upper bounds that were not even primitiv...
متن کامل2 Leo Harrington And
1. Introduction A set A of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements.
متن کاملThe Harrington-shelah Model with Large Continuum
We prove from the existence of a Mahlo cardinal the consistency of the statement that 2ω = ω3 holds and every stationary subset of ω2∩cof(ω) reflects to an ordinal less than ω2 with cofinality ω1. Let us say that stationary set reflection holds at ω2 if for any stationary set S ⊆ ω2∩cof(ω), there is an ordinal α ∈ ω2∩cof(ω1) such that S∩α is stationary in α (that is, S reflects to α). In a clas...
متن کاملA Note on the Martin-harrington Theorem
In This document, we give a proof of the Martin-Harrington theorem, which says that for a real x, x] exists if and only all Π1(x) games are determined. The presentation follows that in Martin’s Determinacy monograph, and is as self-contained as possible. We do, however assume some knowledge of determinacy and the theory of sharps for sets of ordinals. 1. From Sharps to Determinacy In this secti...
متن کاملWu , Harrington will co - direct CV institute
Stanford scientists have developed a fluorescence imaging technique that allows them to view the pulsing blood vessels of living animals with unprecedented clarity. compared with conventional imaging techniques, the increase in sharpness is akin to wiping fog off your glasses. the technique, called near infrared-2 imaging, or nir-2, involves first injecting water-soluble carbon nanotubes into t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SSRN Electronic Journal
سال: 2015
ISSN: 1556-5068
DOI: 10.2139/ssrn.2574745