Sciweavers

7 search results - page 1 / 2
» bsl 2000
Sort
View
BSL
2000
89views more  BSL 2000»
13 years 9 months ago
Brouwer and Fraenkel on intuitionism
Dirk van Dalen
BSL
2000
88views more  BSL 2000»
13 years 9 months ago
Definable encodings in the computably enumerable sets
Peter Cholak, Leo Harrington
BSL
2000
67views more  BSL 2000»
13 years 9 months ago
Does mathematics need new axioms?
Solomon Feferman, Harvey M. Friedman, Penelope Mad...
BSL
2000
75views more  BSL 2000»
13 years 9 months ago
An interpolation theorem
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