MLQ
2010
12 years 11 months ago
2010
MLQ
2010
13 years 3 months ago
2010
MLQ
2010
13 years 3 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...
MLQ
2010
13 years 3 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...
MLQ
2010
13 years 3 months ago
2010
We consider logical expressions built on the single binary connector of implication and a finite number of literals (boolean variables and their negations). We prove that asympto...
MLQ
2010
13 years 3 months ago
2010
Abstract. In this paper, we give a classification of (finite or countable) ℵ0categorical coloured linear orders, generalizing Rosenstein’s characterization of ℵ0-categorica...
MLQ
2010
13 years 3 months ago
2010
MLQ
2010
13 years 3 months ago
2010
MLQ
2010
13 years 3 months ago
2010
We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or...
MLQ
2010
13 years 3 months ago
2010