MLQ 2006 - PDF Preprint Papers

MLQ 2006

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed MLQ-2006 Paper

click to vote

MLQ
2006

93views more MLQ 2006»

On the extender algebra being complete

13 years 4 months ago

Download www.math.toronto.edu

We show that a Woodin cardinal is necessary for the Extender Algebra to be complete. Our proof is relatively simple and does not use fine structure.

Richard Ketchersid, Stuart Zoble

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	93	On the extender algebra being complete	claim
2	92	The strength of sharply bounded induction	claim
3	86	Calculus on strong partition cardinals	claim
4	84	A note on Bar Induction in Constructive Set Theory	claim
5	78	Recursive logic frames	claim
6	77	How much sweetness is there in the universe?	claim
7	76	Geometric properties of semilinear and semibounded sets	claim
8	72	Categorical abstract algebraic logic: The largest theory system included in a theory family	claim
9	71	Continuous fuzzy Horn logic	claim
10	68	On the proof theory of type two functionals based on primitive recursive operations	claim
11	68	Envelopes, indicators and conservativeness	claim
12	67	New reals: Can live with them, can live without them	claim
13	66	Kolmogorov complexity and set theoretical representations of integers	claim
14	66	Dense subtrees in complete Boolean algebras	claim
15	65	The ultra-weak Ash conjecture and some particular cases	claim
16	63	Counting as integration in feasible analysis	claim
17	62	Literal-paraconsistent and literal-paracomplete matrices	claim
18	61	A parametrised choice principle and Martin's conjecture on Blackwell determinacy	claim
19	59	Forcing under Anti-Foundation Axiom: An expression of the stalks	claim
20	57	A nonstandard proof of a lemma from constructive measure theory	claim
21	54	On local non-compactness in recursive mathematics	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers