Zero sharp: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>R.e.b.
O not 0
 
en>Zeimusu
No edit summary
Line 1: Line 1:
In [[set theory]], a '''Woodin cardinal''' (named for [[W. Hugh Woodin]]) is a [[cardinal number]] λ such that for all functions


:''f'' : λ → λ


My name is Reagan Edden but everybody calls me Reagan. I'm from Austria. I'm studying at the university (3rd year) and I play the Xylophone for 8 years. Usually [http://search.Huffingtonpost.com/search?q=I+choose&s_it=header_form_v1 I choose] music from the famous films :). <br>I have two sister. I like Hunting, watching TV (The Big Bang Theory) and [http://www.google.de/search?q=Amateur+astronomy Amateur astronomy].<br><br>Check out my page - fifa 15 coin generator ([http://www.thiscutie.com/members/margopkd/activity/27655/ Http://www.thiscutie.com/members/margopkd/activity/27655])
there exists a cardinal κ < λ with
 
: {''f''(β)|β < κ} &sube; κ
 
and an [[elementary embedding]]
 
:''j'' : ''V'' &rarr; ''M''
 
from the [[Von Neumann universe]] ''V'' into a transitive [[inner model]] ''M'' with [[critical point (set theory)|critical point]] κ and
 
:V<sub>j(f)(κ)</sub> &sube; ''M''.
 
An equivalent definition is this: λ is Woodin [[if and only if]] λ is [[inaccessible cardinal|strongly inaccessible]] and for all <math>A \subseteq V_\lambda</math> there exists a <math>\lambda_A</math> < λ which is <math><\lambda</math>-<math>A</math>-strong.
 
<math>\lambda _A</math> being <math><\lambda</math>-<math>A</math>-strong means that for all [[ordinal number|ordinals]] α < λ, there exist a <math>j: V \to M</math> which is an [[elementary embedding]] with [[critical point (set theory)|critical point]] <math>\lambda _A</math>, <math>j(\lambda _A) > \alpha</math>, <math>V_\alpha \subseteq M</math> and <math>j(A) \cap V_\alpha = A \cap V_\alpha</math>. (See also [[strong cardinal]].)  
 
A Woodin cardinal is preceded by a [[stationary set]] of [[measurable cardinal]]s, and thus it is a [[Mahlo cardinal]]. However, the first Woodin cardinal is not even [[Weakly compact cardinal|weakly compact]].
 
== Consequences ==
 
Woodin cardinals are important in [[descriptive set theory]]. By a result<ref>[http://www.jstor.org/stable/1990913 A Proof of Projective Determinacy]</ref> of [[Donald A. Martin|Martin]] and [[John R. Steel|Steel]], existence of infinitely many Woodin cardinals implies [[projective determinacy]], which in turn implies that every projective set is [[measurable]], has the [[Baire property]] (differs from an open set by a [[meagre set|meager set]], that is, a set which is a countable union of nowhere dense sets), and the [[perfect set property]] (is either countable or contains a [[Perfect set|perfect]] subset).
 
The consistency of the existence of Woodin cardinals can be proved using determinacy hypotheses.  Working in [[Zermelo–Fraenkel set theory|ZF]]+[[axiom of determinacy|AD]]+[[axiom of dependent choice|DC]] one can prove that <math>\Theta _0</math> is Woodin in the class of hereditarily ordinal-definable sets. <math>\Theta _0</math> is the first ordinal onto which the continuum cannot be mapped by an ordinal-definable surjection (see [[Θ (set theory)]]).
 
[[Saharon Shelah|Shelah]] proved that if the existence of a Woodin cardinal is consistent then it is consistent that the nonstationary ideal on ω<sub>1</sub> is <math>\aleph_2</math>-saturated.
Woodin also proved the equiconsistency of the existence of infinitely many Woodin cardinals and the existence of an <math>\aleph_1</math>-dense ideal over <math>\aleph_1</math>.
 
==Hyper-Woodin cardinals==
A [[cardinal number|cardinal]] κ is called hyper-Woodin if  there exists a [[normal measure]] ''U'' on κ such that for every set ''S'', the set
 
:{λ < κ | λ is <κ-''S''-[[strong cardinal|strong]]}
 
is in ''U''.
 
λ is <κ-S-strong if and only if for each δ < κ there is a [[transitive class]] ''N'' and an [[elementary embedding]]
 
:j : V → N
 
with
 
:λ = crit(j),
:j(λ)&ge; δ, and
 
:<math>j(S) \cap H_\delta = S \cap H_\delta</math>.
 
The name alludes to the classical result that a cardinal is Woodin if and only if for every set ''S'', the set
 
:{λ < κ | λ is <κ-''S''-[[strong cardinal|strong]]}
 
is a [[stationary set]]
 
The measure ''U'' will contain the set of all [[Shelah cardinal]]s below κ.
 
==Weakly hyper-Woodin cardinals==
A [[cardinal number|cardinal]] κ is called weakly hyper-Woodin if for every set ''S'' there exists a [[normal measure]] ''U'' on κ such that the set {λ < κ | λ is <κ-''S''-strong} is in ''U''. λ is <κ-S-strong if and only if for each δ < κ there is a transitive class N and an elementary
embedding j : V → N with λ = crit(j), j(λ) >= δ, and <math>j(S) \cap H_\delta = S \cap H_\delta.</math>
 
The name alludes to the classic result that a cardinal is Woodin if  for every set ''S'', the set {λ < κ | λ is <κ-''S''-[[strong cardinal|strong]]} is stationary.
 
The difference between hyper-Woodin cardinals and weakly hyper-Woodin cardinals is that the choice of ''U'' does not depend on the choice of the set ''S'' for hyper-Woodin cardinals.
 
== Notes and references ==
<references/>
 
== Further reading ==
* {{cite book|last=Kanamori|first=Akihiro|year=2003|authorlink=Akihiro Kanamori|publisher=Springer|title=The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings|edition=2nd|isbn=3-540-00384-3}}
 
* For proofs of the two results listed in consequences see ''Handbook of Set Theory'' (Eds. Foreman, Kanamori, Magidor) (to appear).  [http://handbook.assafrinot.com/ Drafts] of some chapters are available.
* Ernest Schimmerling, ''Woodin cardinals, Shelah cardinals and the Mitchell-Steel core model'', Proceedings of the American Mathematical Society 130/11, pp.&nbsp;3385–3391, 2002, [http://www.math.cmu.edu/~eschimme/papers/hyperwoodin.pdf online]
 
* {{cite journal | last = Steel | first = John R. | authorlink = John R. Steel |date=October 2007 | title = What is a Woodin Cardinal? | journal = [[Notices of the American Mathematical Society]] | volume = 54 | issue = 9 | pages = 1146&ndash;7 | url = http://www.ams.org/notices/200709/tx070901146p.pdf | format = [[PDF]] | accessdate = 2008-01-15 }}
 
{{DEFAULTSORT:Woodin Cardinal}}
[[Category:Large cardinals]]
[[Category:Determinacy]]

Revision as of 23:21, 5 January 2014

In set theory, a Woodin cardinal (named for W. Hugh Woodin) is a cardinal number λ such that for all functions

f : λ → λ

there exists a cardinal κ < λ with

{f(β)|β < κ} ⊆ κ

and an elementary embedding

j : VM

from the Von Neumann universe V into a transitive inner model M with critical point κ and

Vj(f)(κ)M.

An equivalent definition is this: λ is Woodin if and only if λ is strongly inaccessible and for all AVλ there exists a λA < λ which is <λ-A-strong.

λA being <λ-A-strong means that for all ordinals α < λ, there exist a j:VM which is an elementary embedding with critical point λA, j(λA)>α, VαM and j(A)Vα=AVα. (See also strong cardinal.)

A Woodin cardinal is preceded by a stationary set of measurable cardinals, and thus it is a Mahlo cardinal. However, the first Woodin cardinal is not even weakly compact.

Consequences

Woodin cardinals are important in descriptive set theory. By a result[1] of Martin and Steel, existence of infinitely many Woodin cardinals implies projective determinacy, which in turn implies that every projective set is measurable, has the Baire property (differs from an open set by a meager set, that is, a set which is a countable union of nowhere dense sets), and the perfect set property (is either countable or contains a perfect subset).

The consistency of the existence of Woodin cardinals can be proved using determinacy hypotheses. Working in ZF+AD+DC one can prove that Θ0 is Woodin in the class of hereditarily ordinal-definable sets. Θ0 is the first ordinal onto which the continuum cannot be mapped by an ordinal-definable surjection (see Θ (set theory)).

Shelah proved that if the existence of a Woodin cardinal is consistent then it is consistent that the nonstationary ideal on ω1 is 2-saturated. Woodin also proved the equiconsistency of the existence of infinitely many Woodin cardinals and the existence of an 1-dense ideal over 1.

Hyper-Woodin cardinals

A cardinal κ is called hyper-Woodin if there exists a normal measure U on κ such that for every set S, the set

{λ < κ | λ is <κ-S-strong}

is in U.

λ is <κ-S-strong if and only if for each δ < κ there is a transitive class N and an elementary embedding

j : V → N

with

λ = crit(j),
j(λ)≥ δ, and
j(S)Hδ=SHδ.

The name alludes to the classical result that a cardinal is Woodin if and only if for every set S, the set

{λ < κ | λ is <κ-S-strong}

is a stationary set

The measure U will contain the set of all Shelah cardinals below κ.

Weakly hyper-Woodin cardinals

A cardinal κ is called weakly hyper-Woodin if for every set S there exists a normal measure U on κ such that the set {λ < κ | λ is <κ-S-strong} is in U. λ is <κ-S-strong if and only if for each δ < κ there is a transitive class N and an elementary embedding j : V → N with λ = crit(j), j(λ) >= δ, and j(S)Hδ=SHδ.

The name alludes to the classic result that a cardinal is Woodin if for every set S, the set {λ < κ | λ is <κ-S-strong} is stationary.

The difference between hyper-Woodin cardinals and weakly hyper-Woodin cardinals is that the choice of U does not depend on the choice of the set S for hyper-Woodin cardinals.

Notes and references

Further reading

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • For proofs of the two results listed in consequences see Handbook of Set Theory (Eds. Foreman, Kanamori, Magidor) (to appear). Drafts of some chapters are available.
  • Ernest Schimmerling, Woodin cardinals, Shelah cardinals and the Mitchell-Steel core model, Proceedings of the American Mathematical Society 130/11, pp. 3385–3391, 2002, online
  • One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting

    In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang

    Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules

    Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.

    A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running

    The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more

    There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang