Sciweavers

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