Lipschitz Functions in Constructive Reverse Mathematics. Loeb, I. Logic Journal of the IGPL, 21(1):28–43, 2013.
bibtex   
@article{loeb_lipschitz_2013,
	title = {Lipschitz {Functions} in {Constructive} {Reverse} {Mathematics}},
	volume = {21},
	number = {1},
	journal = {Logic Journal of the IGPL},
	author = {Loeb, Iris},
	year = {2013},
	pages = {28--43},
}

Downloads: 0