13 search results - page 3 / 3 » mlq 2010 |
86
Voted
MLQ
2010
14 years 8 months ago
2010
We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Specifically, we show that the structure theorem for...
90
Voted
MLQ
2010
14 years 8 months ago
2010
: It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we c...
77
Voted
MLQ
2010
14 years 8 months ago
2010
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...