Home  Mathematical_Logic  Interpolation, Preservation, Definability 
Page 1 155 of 55 1 
1. JSTOR Interpolation, Preservation, And Pebble Games Note how our theorem relates explicit definability of P in L to what may be Can we extend all standard interpolation and preservation theorems to http://links.jstor.org/sici?sici=00224812(199906)64:2<881:IPAPG>2.0.CO;2K 
2. Preservation Of Interpolation Features By Fibring  Carnielli Et Al., 10.1093/l The interest for such preservation results for combining logics is evident, Gabbay D, Maksimova L. Interpolation and definability Modal and http://logcom.oxfordjournals.org/cgi/content/refs/exm061v1  

3. Minimal Predicates, Fixedpoints, And Definability Minimal predicates, fixedpoints, and definability. Johan van Benthem J. Barwise and J. van Benthem Interpolation, preservation, and pebble games, http://projecteuclid.org/handle/euclid.jsl/1122038910  

4. Johan Van Benthem : Current Teaching Activities examples of nonmodal definability, syntax for preservation classes. Weeks 6 7 J. Barwise J. van Benthem, 1999, Interpolation, Preservation, http://staff.science.uva.nl/~johan/AML2003.html  

5. 03Cxx 03C35 Categoricity and completeness of theories; 03C40 Interpolation, preservation, definability; 03C45 Classification theory, stability and related http://www.ams.org/msc/03Cxx.html  

6. Sachgebiete Der AMSKlassifikation: 0009 theories 03C40 Interpolation, preservation, definability 03C45 Stability and 03D65 Highertype and set recursion theory 03D70 Inductive definability http://www.math.fuberlin.de/litrech/Class/ams0009.html  

7. Mhb03.htm 03C40, Interpolation, preservation, definability. 03C45, Classification theory, stability and related concepts. 03C50, Models with special properties http://www.mi.imati.cnr.it/~alberto/mhb03.htm  

8. MathNetMathematical Subject Classification 03C40, Interpolation, preservation, definability. 03C45, Stability and related concepts. 03C50, Models with special properties (saturated, rigid, etc.) http://basilo.kaist.ac.kr/API/?MIval=research_msc_1991_out&class=03XX 
9. HeiDOK 03C40 Interpolation, preservation, definability ( 0 Dok. ) 03C45 Classification theory, stability and related concepts ( 0 Dok. http://archiv.ub.uniheidelberg.de/volltextserver/msc_ebene3.php?zahl=03C&anzahl 
10. List KWIC DDC22 510 And MSC+ZDM EN Lexical Connection definability inductive 03D70 definability interpolation, preservation, 03C40 definability other notions of settheoretic 03E47 http://www.math.unipd.it/~biblio/kwic/msccdd/dml2_11_13.htm  

11. The Journal Of Symbolic Logic, Volume 64 825845 BibTeX Alexandru Baltag Interpolation and Preservation for Pebble Ieke Moerdijk An Elementary definability Theorem for First Order Logic. http://www.informatik.unitrier.de/~ley/db/journals/jsyml/jsyml64.html  

12. Logic Colloquium 2003 the relations between some of these notions and nonstandard versions of the standard logical results of interpolation, preservation and definability. http://www.helsinki.fi/lc2003/titles.html  

13. Search Results For "interpolation" Ã¢ÂÂ FacetedDBLP 3, Larisa Maksimova definability and Interpolation in NonClassical Logics. Search with DBLP WebCrawler Search on Bibsonomy http://dblp.l3s.de/?q=interpolation&resultsPerPage=100 
14. DBLP: Johan Van Benthem 30 Jon Barwise, Johan van Benthem Interpolation, Preservation, and Pebble Games. J. Symb. Log. 8, Johan van Benthem Notes on Modal definability. http://www.sigmod.org/dblp/db/indices/atree/b/Benthem:Johan_van.html  

15. A Report On LACS A Tribute To Helena Rasiowa Logic, Algebra And He gave two talksone on interpolation, preservation and pebble games, Invariant definability in infinite and finite model theory Janos Makowsky http://www.iarcs.org.in/activities/newsletter/vol21/rasiowa.html  

16. USC, Department Of Mathematics, Graduate Courses or consent of department) Interpolation and approximation of functions, .. interpolation and definability; preservation theorems; ultraproducts. http://www.math.sc.edu/grad/courses.html  

17. Qualifying Exam Syllabi categoricity, interpolations, definability and preservation theorems. piecewise interpolation, eigenvalue problems, and numerical integration. http://www.math.umd.edu/graduate/exams/syllabi.shtml  

18. General General Mathematics Mathematics For Nonmathematicians of theories Interpolation, preservation, definability Classification theory, stability and related concepts Models with special properties (saturated, http://amf.openlib.org/2001/msc2000.xsd 
19. KARL'S LIST OF PUBLICATIONS Prototypical and ideal cases 2.2.3 Extreme cases and interpolation 2.2.4 development 5.1.4 A remark on definability preservation and modal logic 5.2 http://www.lif.univmrs.fr/~ks/publ.html  

20. ILLC Publications, Mathematical Logic And Foundations (ML) Series ML199412 Victor Selivanov Fine Hierarchy and definability in the Lindenbaum ML199612 Jon Barwise, Johan van Benthem Interpolation, Preservation, http://www.illc.uva.nl/Publications/reportlist.php?Series=ML 
21. 361/369 (Total 5522) NO 122 03C70 Logic On Translate this page 111, 03C40, Interpolation, preservation, definability. 110, 03C35, Categoricity and completeness of theories. 109, 03C30, Other model constructions http://www.mathnet.or.kr/mathnet/msc_list.php?mode=list&ftype=&fstr=&page=361 
22. University Graduate School Bulletin 20002002: Mathematics theory of undecidability and implicit definability, GÃ¶delÂs theorems on completeness and modelcompleteness, interpolation, preservation and http://www.iub.edu/~bulletin/iub/grad/20002002/mathematics.html  

23. Martin Goldstern's Papers This paper looks at interpolation from a more general point of view is a monotone family of measure zero sets (with some nice definability properties). http://info.tuwien.ac.at/goldstern/papers/  

24. Coherent Systems, 2  Elsevier Prototypical and ideal cases 2.2.3 Extreme cases and interpolation 2.2.4 4.3.2 The results CHAPTER 5 definability PRESERVATION 5.1 Introduction http://www.elsevier.com/wps/product/cws_home/704313  

25. MathGuide  OPAC Subject Catalog 03C40 Interpolation, preservation, definability; 03C45 Classification theory, 46M35 Abstract interpolation of topological vector spaces http://www.mathguide.de/cgibin/ssgfi/navigator2.pl/db=math/type=gok/pattern=all  

26.  Mathematics Courses Model theory compactness theorem; Lowenheim/Skolem theorems; definability; ultraproducts; preservation theorems; interpolation theorems. http://www.registrar.ucla.edu/archive/catalog/1997_99/catalogMathemat2.html  

27. 1991 Mathematics Subject Classification (MSC 1991) 03C40 Interpolation, preservation, definability; 03C45 Stability and related 03E45 Constructibility, ordinal definability, and related notions http://www.zblmath.fizkarlsruhe.de/MATH/msc/msc91  

28. Notre Dame Journal Of Formal Logic, 1998; 39 (2) Interpolation and Preservation in M Lw1 / Sturm, Holger, 190211 Note on Supervenience and definability / Humberstone, Lloyd, 243252 http://www.ucm.es/BUCM/compludoc/W/9912/00294527_1.htm  

29. CISBibliothek  Institutsberichte Johan van Benthem, Modality, Bisimulation and Interpolation in Infinitary Logic Eva Hoogland, Algebraic Characterization of Various Beth definability http://www.cis.unimuenchen.de/biblio/berichte.html  

30. Logic Seminar  Archive definability of regular languages in firstorder logic Feasible disjunction and interpolation properties in modal logic S4 May 27, 2002 at 13.oo http://www.math.cas.cz/~krajicek/logika_old.html  

31. THE UNIVERSITY OF MICHIGAN COMPUTING RESEARCH LABORATORY TOWARDI The Substructure Preservation Theorem fails in the case of finite Interpolation and definability for polynomial time logic According to ~1, http://deepblue.lib.umich.edu/bitstream/2027.42/5238/4/bac3726.0001.001.txt  

32. USC: Academic Bulletins {=CSCE 561} (3) (Prereq MATH 242 or 520) Interpolation and approximation of .. interpolation and definability; preservation theorems; ultraproducts. http://www.sc.edu/bulletin/grad/GMath.html  

33. Googlelinked Mathematics Subject Headings 03C40 Interpolation, preservation, definability 03C45 Classification theory, stability and related concepts 03C50 Models with special properties (saturated, http://www.plambeck.org/oldhtml/mathematics/mathsubjects/index.htm  

34. MSC 2000 : CC = T 03C40 Interpolation, preservation, definability; 03C45 Classification theory, 46M35 Abstract interpolation of topological vector spaces See also http://portail.mathdoc.fr/cgibin/msc2000.py?L=fr&T=Q&C=msc2000&CC=T 
35. Kit Fine And The Ontology Of Modal Actualism It is shown that Beth s definability theorem and its corollary, the interpolation lemma, fail for quantified S5, with or without constant domain, http://www.formalontology.it/finek.htm  

36. Holger Sturm Translate this page of Philosophical Logic 30 (2001), S. 571590; Global definability in modal logic (mit M. de Rijke). Interpolation and preservation in ML_omega_1. http://www.unikonstanz.de/philosophie/Spohn/members/Sturm.shtml  

37. 6th Panhellenic Logic Symposium :: Programme Among classical theorems of model theory, preservation theorems are results of Ackermann Lemma with applications to modal Ã¬definability; 11551220 http://pls6.pre.uth.gr/programme.php  

38. Model Theory  Elsevier Preservation Theorems. Applications of Special Models to the Theory of definability. Applications to Field Theory. Application to Boolean Algebras. http://129.35.76.177/wps/find/bookdescription.cws_home/502287/description?navope 
39. Logic Colloquium 2006 Byunghan Kim, Stable definability and generic relations; Alexei Kolesnikov, Generalized types .. Larisa Maksimova, Weak interpolation in equational logic http://www.cs.ru.nl/lc2006/contributed.html  

40. Institutions Logical results obtained include very general versions of Craig interpolation, Robinson consistency, Beth definability, and Herbrand universe theorems; http://wwwcse.ucsd.edu/~goguen/projs/inst.html  

41. Group In Logic And The Methodology Of Science  compactness theorem, preservation theorems, LÃ¶wenheimSkolem theorems, of universal classes, interpolation and BethÂs definability theorem. http://logic.berkeley.edu/requirements.html  

42. SUB GÃ¶ttingen  Systematische Recherche Im Katalog Der SUB EADC 400, Interpolation, preservation, definability EADE 450, Inner models, including constructibility, ordinal definability, and core models http://www.sub.unigoettingen.de/scripts/gok/browse.php?gok=E&lang=de 
43. MPLA :: Graduate Program In Logic, Algorithms And Computation From Birkhoff axiomatizability to interpolation a categorical modeltheoretic approach. . Theory of definability and completeness in Modal Logic. http://mpla.math.uoa.gr/seminars/  

44. Ultraproducts And Possible Worlds Semantics In Institutions Diaconescu, R., An institutionindependent proof of Craig Interpolation Theorem. Petria, M. and Diaconescu, R., Abstract Beth definability in http://portal.acm.org/citation.cfm?id=1244688 
45. ÃÃ«Ã©ÃªÃ¼ ÃÃ¡Ã¨Ã§Ã¬ÃÃ´Ã¹Ã  Courses Interpolation and polynomial approximation. . definability and arithmetical hierarchy. Turing reducibility and degrees of unsolvability. http://www.cs.aueb.gr/english/under_grad_studies/courses/courses.shtml  

46. Publications It is shown how this single new interpolation theorem unifies a number of related results namely, the classical preservation theorems concerning http://www.mathematik.tudarmstadt.de/~otto/abstracts.html  

47. DoCIS Search Result Interpolation Theorems for Nonmonotonic Reasoning Systems Dichotomy Theorems for Equalityfree Logic The Method of Diagrams and Preservation Theorems http://wotan.liu.edu/docis/search?query=theorems 
48. Wolter, Frank; Zakharyaschev, Michael: Intuitionistic Modal Logics On the interpolation property of some intuitionistic modal logics. of superintuitionistic logics syntax, semantics and preservation theorems. http://lips.informatik.unileipzig.de/pub/199827/en  

Page 1 155 of 55 1 