**Background/Motivation**. We know that some of the usefulness of Martin's Axiom lies in giving certain "smallness" properties to sets of size less than continuum, e.g. we have
that for all infinite cardinals $ \lambda < 2^{\aleph\_0}, 2^{\lambda} = 2^{\aleph\_0}$; also all sets of reals of cardinality less than $2^{\aleph\_0}$ are Lebesgue measure 
zero sets.


But I note at the end of the article "Between Martin's Axiom and Souslin's Hypothesis" (by K. Kunen and F. Tall) that the topological characterization of 
MA restricted to compact *hereditarily* separable spaces
is consistent with having $\aleph\_1 < 2^{\aleph\_0} < 2^{\aleph\_1}$. Which leads me to wonder...


**Question**: Is there any known restriction/modification of MA ( + not-CH, of course) which is consistent with existence of a non-Lebesgue measurable set of reals of 
cardinality less than $2^{\aleph\_0}$?


(The proof of small sets being Lebesgue null (assuming MA) in Jech's set theory book seems so simple and compelling, it would make an affirmative answer rather intriguing.)



Is there a modification of Martin's Axiom which admits non-measurable sets of size less than continuum?
Adding on to Andreas's comment above:


In Section 3 of Chapter XVIII of "Proper and Improper forcing", Shelah proves a very general preservation theorem. "Application 3.8" on page 912 deals with preserving positive outer measure, and in Claim 3.8C(2) he pins down the (very technical) condition he needs to prove that a countable support iteration preserves the property of "being of positive outer measure". 


This is an extension of the Judah-Shelah result mentioned by Blass, as in the paper 


The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing) J. Symbolic Logic 55 (1990), no. 3, 909–927,


Judah and Shelah prove an iteration theorem strong enough to prove that the ground model reals have positive outer measure after an $\omega\_2$-length iteration of Laver forcing. That particular situation is covered by the more general theorem from Proper and Improper Forcing.


