Search Sciweavers | Sciweavers

63 search results - page 2 / 13

» The Bounded Axiom A Forcing Axiom

click to vote

JSYML
2006

97views more JSYML 2006»

The proper forcing axiom and the singular cardinal hypothesis

13 years 5 months ago

Download www2.dm.unito.it

We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].

Matteo Viale

claim paper

Read More »

click to vote

BSL
2008

88views more BSL 2008»

Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics

13 years 5 months ago

Download www.lc08.iam.unibe.ch

Matteo Viale

claim paper

Read More »

click to vote

JSYML
2008

52views more JSYML 2008»

Hierarchies of forcing axioms II

13 years 5 months ago

Download www.math.ucla.edu

Itay Neeman

claim paper

Read More »

click to vote

MLQ
2006

59views more MLQ 2006»

Forcing under Anti-Foundation Axiom: An expression of the stalks

13 years 5 months ago

Download deepblue.lib.umich.edu

Sato Kentaro

claim paper

Read More »

click to vote

AML
2006

106views more AML 2006»

Upper bounds on complexity of Frege proofs with limited use of certain schemata

13 years 5 months ago

Download www2.mcdaniel.edu

The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of th...

Pavel Naumov

claim paper

Read More »

« Prev « First page 2 / 13 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers