Sciweavers

BSL
2000
75views more  BSL 2000»
15 years 15 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
65
Voted
BSL
2000
67views more  BSL 2000»
15 years 15 days ago
Does mathematics need new axioms?
Solomon Feferman, Harvey M. Friedman, Penelope Mad...
60
Voted
BSL
2000
89views more  BSL 2000»
15 years 15 days ago
Brouwer and Fraenkel on intuitionism
Dirk van Dalen
92
Voted
BSL
2000
153views more  BSL 2000»
15 years 15 days ago
Combinatorics with definable sets: Euler characteristics and Grothendieck rings
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
74
Voted
BSL
2000
88views more  BSL 2000»
15 years 15 days ago
Definable encodings in the computably enumerable sets
Peter Cholak, Leo Harrington