Search Sciweavers | Sciweavers

22

click to vote

JSYML
2000

77views more JSYML 2000»

Formal Topologies on The Set of First-Order Formulae

13 years 9 months ago

Download www.math.unipd.it

Thierry Coquand, Sara Sadocco, Giovanni Sambin, Ja...

claim paper

Read More »

28

click to vote

JSYML
2000

71views more JSYML 2000»

Applications of PCF Theory

13 years 9 months ago

Download shelah.logic.at

We deal with several pcf problems; we characterize another version of exponentiation: number of -branches in a tree with nodes, deal with existence of independent sets in stable t...

Saharon Shelah

claim paper

Read More »

21

click to vote

JSYML
2000

109views more JSYML 2000»

Categorical Quasivarieties via Morita Equivalence

13 years 9 months ago

Download spot.colorado.edu

We give a new proof of the classification of 0-categorical quasivarieties by using Morita equivalence to reduce to term minimal quasivarieties.

Keith A. Kearnes

claim paper

Read More »

18

click to vote

JSYML
2000

66views more JSYML 2000»

After All, There Are Some Inequalities Which Are Provable in ZFC

13 years 9 months ago

Download shelah.logic.at

We address ZFC inequalities between some cardinal invariants of the continuum, which turned to be true in spite of strong expectations given by [10].

Tomek Bartoszynski, Andrzej Roslanowski, Saharon S...

claim paper

Read More »

18

click to vote

JSYML
2000

58views more JSYML 2000»

Maharam Spectra of Loeb Spaces

13 years 9 months ago

Download www.math.wisc.edu

We characterize Maharam spectra of Loeb probability spaces and give some applications of the results.

Renling Jin, H. Jerome Keisler

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers