Sciweavers

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