Sciweavers

5510 search results - page 123 / 1102
» Mathematics
Sort
View
76
Voted
MLQ
2006
54views more  MLQ 2006»
15 years 6 months ago
On local non-compactness in recursive mathematics
Jakob Grue Simonsen
IANDC
2007
96views more  IANDC 2007»
15 years 6 months ago
A general mathematics of names
We introduce FMG (Fraenkel-Mostowski Generalised) set theory, a generalisation of FM set theory which allows binding of infinitely many names instead of just finitely many names...
Murdoch Gabbay