Theoretical Elsevier

First Page		Document Content
Date: 2006-12-11 17:42:17 Model theory Descriptive complexity theory Finite model theory Compactness theorem Satisfiability First-order logic FO Interpretation P versus NP problem Logic Mathematical logic Mathematics		Theoretical Elsevier Add to Reading List Source URL: researcher.ibm.com Download Document from Source Website File Size: 2,18 MB Share Document on Facebook

	The Converse Ostrowski Theorem: aspects of compactness N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ DocID: 1u2xU - View Document
	This article was downloaded by: [Arizona State University] On: 23 January 2013, At: 13:58 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortimer Hou DocID: 1rmpS - View Document
	THE DAUGAVET EQUATION FOR BOUNDED VECTOR VALUED FUNCTIONS ´ ´ STEFAN BRACH, ENRIQUE A. SANCHEZ PEREZ DocID: 1qKKQ - View Document
	CrossMark_Color_Stacked_p DocID: 1qqbf - View Document
	INTERPOLATION OF -COMPACTNESS AND PCF DocID: 1oe23 - View Document