Sciweavers

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