BSL 2000 | Sciweavers

29

click to vote

BSL
2000

65views more BSL 2000»

Applications of nonstandard analysis in additive number theory

14 years 9 days ago

Download jinr.people.cofc.edu

Renling Jin

claim paper

Read More »

38

click to vote

BSL
2000

75views more BSL 2000»

An interpolation theorem

14 years 9 days 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 »

24

click to vote

BSL
2000

67views more BSL 2000»

Does mathematics need new axioms?

14 years 9 days ago

Download math.stanford.edu

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

claim paper

Read More »

22

click to vote

BSL
2000

89views more BSL 2000»

Brouwer and Fraenkel on intuitionism

14 years 9 days ago

Download www.phil.uu.nl

Dirk van Dalen

claim paper

Read More »

40

click to vote

BSL
2000

153views more BSL 2000»

Combinatorics with definable sets: Euler characteristics and Grothendieck rings

14 years 9 days 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 »

35

click to vote

BSL
2000

88views more BSL 2000»

Definable encodings in the computably enumerable sets

14 years 9 days ago

Download www.nd.edu

Peter Cholak, Leo Harrington

claim paper