BSL 2000 | Sciweavers

27

click to vote

BSL
2000

65views more BSL 2000»

Applications of nonstandard analysis in additive number theory

13 years 11 months ago

Download jinr.people.cofc.edu

Renling Jin

claim paper

Read More »

35

click to vote

BSL
2000

75views more BSL 2000»

An interpolation theorem

13 years 11 months ago

Download www-fourier.ujf-grenoble.fr

In the spirit of a theorem of Wood [21], we give necessary and sufficient conditions for a family of germs of analytic hypersurfaces in a smooth projective toric variety X to be i...

Martin Otto

claim paper

Read More »

23

click to vote

BSL
2000

67views more BSL 2000»

Does mathematics need new axioms?

13 years 11 months ago

Download math.stanford.edu

Solomon Feferman, Harvey M. Friedman, Penelope Mad...

claim paper

Read More »

19

click to vote

BSL
2000

89views more BSL 2000»

Brouwer and Fraenkel on intuitionism

13 years 11 months ago

Download www.phil.uu.nl

Dirk van Dalen

claim paper

Read More »

37

click to vote

BSL
2000

153views more BSL 2000»

Combinatorics with definable sets: Euler characteristics and Grothendieck rings

13 years 11 months ago

Download math.berkeley.edu

We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially or...

Jan Krajícek, Thomas Scanlon

claim paper

Read More »

32

click to vote

BSL
2000

88views more BSL 2000»

Definable encodings in the computably enumerable sets

13 years 11 months ago

Download www.nd.edu

Peter Cholak, Leo Harrington

claim paper