BSL 2000 | Sciweavers

7

click to vote

BSL
2000

65views more BSL 2000»

Applications of nonstandard analysis in additive number theory

13 years 4 months ago

Download jinr.people.cofc.edu

Renling Jin

claim paper

Read More »

16

click to vote

BSL
2000

75views more BSL 2000»

An interpolation theorem

13 years 4 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 »

5

click to vote

BSL
2000

67views more BSL 2000»

Does mathematics need new axioms?

13 years 4 months ago

Download math.stanford.edu

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

claim paper

Read More »

4

click to vote

BSL
2000

89views more BSL 2000»

Brouwer and Fraenkel on intuitionism

13 years 4 months ago

Download www.phil.uu.nl

Dirk van Dalen

claim paper

Read More »

23

click to vote

BSL
2000

153views more BSL 2000»

Combinatorics with definable sets: Euler characteristics and Grothendieck rings

13 years 4 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 »

7

click to vote

BSL
2000

88views more BSL 2000»

Definable encodings in the computably enumerable sets

13 years 4 months ago

Download www.nd.edu

Peter Cholak, Leo Harrington

claim paper