Science » Math » Logic and Foundations » Set Theory (index): ABC Directory

search for

Category: Science » Math » Logic and Foundations » Set Theory

	Set Theory	Records 1-3 of 3
		Order by Date Added \| Popularity \| Alphabet

	Metamath Proof Explorer (Popularity: ) http://metamath.org Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
	Shelah's Archive (Popularity: ) http://shelah.logic.at/ Listing of all articles by Saharon Shelah, and links to many of them.
	Burke, Dennis (Popularity: ) http://notch.mathstat.muohio.edu/ Miami University of Ohio.