Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
131	Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2017-08-14 08:48:29
132	Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Basilica di Santa Maria di Collemaggio, 1287, L’Aquila Add to Reading List Source URL: muwo1.unibo.it Language: English - Date: 2017-07-07 10:09:45
133	R EASONING ABOUT F ICTION T OM S CHOONEN & F RANZ B ERTO Institute for Logic, Language, and Computation P REPRINT V ERSION University of Amsterdam Add to Reading List Source URL: tomschoonen.com Language: English - Date: 2017-12-10 11:03:53
134	Large Cardinals and Determinacy Peter Koellner September 12, 2011 The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-09-20 00:26:33
135	Itay Neeman. Forcing with sequences of models of two types. Notre Dame J. Formal Logic, vol), ppNeeman presents a new notion of forcing with finite sequences of models as side conditions, Pside . The Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2015-05-20 22:45:35
136	QUANTIFIER ELIMINATION IN C-ALGEBRAS CHRISTOPHER J. EAGLE, ILIJAS FARAH, EBERHARD KIRCHBERG, AND ALESSANDRO VIGNATI Abstract. The only C-algebras that admit elimination of quantifiers in continuous logic are C, C2 , C( Add to Reading List Source URL: www.math.yorku.ca Language: English - Date: 2015-06-13 12:59:49
137	Scientific Polarization Cailin O’Connor, James Owen Weatherall Department of Logic and Philosophy of Science University of California, Irvine Abstract Add to Reading List Source URL: cailinoconnor.com Language: English - Date: 2017-12-12 17:51:13
138	A PRESENTATION THEOREM FOR CONTINUOUS LOGIC AND METRIC ABSTRACT ELEMENTARY CLASSES WILL BONEY Abstract. In recent years, model theory has widened its scope to include metric structures by considering real-valued models w Add to Reading List Source URL: math.harvard.edu Language: English - Date: 2016-11-01 10:05:15
139	Topological dynamics and ergodic theory of automorphism groups Alexander S. Kechris Harvard; November 18, 2013 Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2013-11-27 16:54:48

UPDATE