Home  Mathematical_Logic  Finite Structures 
Page 1 148 of 48 1 
1. Cherlin, G. And Hrushovski, E.: Finite Structures With Few Types. (AM152). of the book Finite structures with Few Types. (AM152) by Cherlin, G. and Hrushovski, E., published by Princeton University Press....... http://press.princeton.edu/titles/7439.html  

2. Atlas: Dedekindfinite Structures By Agatha WalczakTypke DedekindFinite structures by Agatha WalczakTypke We discuss recent results concerning the algebraic structures whose domains are Dedekind Finite sets. http://atlasconferences.com/cgibin/abstract/caql69  

3. Implementing Finite Structures In Mathematica Via A Skeletal Topos Of Finite Set Abstract To implement Finite structures in a symbolic computation program such as Mathematica, we consider a skeletal topos N which is equiva lent to the http://library.wolfram.com/infocenter/Articles/4933/  

4. Finite Model Theory  Wikipedia, The Free Encyclopedia Finite model theory is a subfield of model theory that focuses on properties of logical languages, such as firstorder logic, over Finite structures, http://en.wikipedia.org/wiki/Finite_model_theory  

5. JSTOR Generalized Quantifiers And Pebble Games On Finite Structures. Generalized quantifiers and pebble games on Finite structures. Annals of pure and applied logic, vol. 74 (1995) pp. 2375. The systematic study of the model http://links.jstor.org/sici?sici=00224812(199612)61:4<1387:GQAPGO>2.0.CO;2G 
6. RPGnet The Inside Scoop On Gaming Finite structures are an essential element of game design. Finite structures also provide a model for the interactions inside RPGs. http://www.rpg.net/news reviews/columns/physics29aug03.html 
7. [math/0401095] Profinite Structures Are Retracts Of Ultraproducts Of Finite Stru ProFinite structures are Retracts of Ultraproducts of Finite structures. Authors Hugo Luiz Mariano Subjclass Logic; Category Theory http://arxiv.org/abs/math/0401095  

8. Infinitary Logic And Inductive Definability Over Finite Structures Infinitary Logic and Inductive Definability over Finite structures PSPACE respectively in the presence of an ordering relation over Finite structures. http://repository.upenn.edu/cis_reports/365/  

9. Finite Conformal Hypergraph Covers And Gaifman Cliques In Finite In terms of relational structures, we show that every Finite relational structure admits a guarded bisimilar cover by a Finite structure whose Gaifman http://projecteuclid.org/handle/euclid.bsl/1058448678  

10. Uniform Definability On Finite Structures With Successor We study inductive and secondorder definability on Finite structures with successor and relate these notions to complexity theory. http://portal.acm.org/citation.cfm?id=808707 
11. IngentaConnect ESTIMATION OF VIBRATION DISTRIBUTION FOR FINITE STRUCTURES The distribution of vibration over Finite structures excited by a force is considered. To describe the vibration distribution, a quantity, called motion http://www.ingentaconnect.com/content/ap/sv/2000/00000238/00000002/art03102  

12. Volume 31 "Descriptive Complexity And Finite Models", Immerman And Kolaitis, Eds Finite model theory can be succinctly described as the study of logics on Finite structures. It is an area of research in the interface between mathematical http://dimacs.rutgers.edu/Volumes/Vol31.html  

13. FIST  Finite Structures Our institute has especially old traditions in research of Finite combinatorial structures. These research results and techniques are applied more and more http://www.istworld.org/ProjectDetails.aspx?ProjectId=545e7c51f1a3409da67fadfd8 
14. Finite And Algorithmic Model Theory, Durham, January 2006. Themes The study of the modeltheoretic properties of Finite structures emerged initially as a branch of classical model theory. However, in the late 1980s http://durham06.umh.ac.be/  

15. Publications Finite Conformal Hypergraph Covers And Gaifman EPPA is thus established for the class of Finite conformal structures, of any relational type. This also gives a simplified route to the known EPPA for the http://pubs.doc.ic.ac.uk/hypergraphcovers/  

16. Document Server@UHasselt: Item 1942/3231 In constraint programming terminology, this corresponds to Boolean real polynomial constraint queries on Finite structures. The fact that quantifiers range http://doclib.uhasselt.be/dspace/handle/1942/3231  

17. FIST Finite structures. Marie Curie Host Fellowship for the Transfer of Knowledge. RÃ©nyi Institute has concluded contract negotiations with the European http://www.renyi.hu/fist.html  

18. Finite Model Theory  Wikibooks, Collection Of Opencontent Textbooks FMT is a restriction of MT to Finite structures, such as Finite graphs or strings. Since many central theorems of MT do not hold when restricted to Finite http://en.wikibooks.org/wiki/Finite_Model_Theory  

19. Dugald Macpherson's Homepage We consider arbitrary (elementary) classes of Finite structures satisfying the conclusions of the Chatzidakisvan den DriesMacintyre theorem. http://www.maths.leeds.ac.uk/pure/staff/macpherson/macpherson.html  

20. Logicomp Finite Model Theory Preliminaries (2) Anthony Widjaja Whenever `cc M` be the set of all Finite structures, we shall omit mention of `cc M`. An important special case occurs when `k = 0`. http://logicomp.blogspot.com/2005/05/finitemodeltheorypreliminaries2.html  

21. Algebra I Logika Citation W. Calvert, D. Cummins, J. F. Knight, S. Miller, Comparing Classes of Finite structures, Algebra Logika, 2004, 436, 666Â701. http://www.mathnet.ru/php/journal.phtml?wshow=paper&jrnid=al&paperid=103&year=20 
22. MGI  Publications: Eric Rosen In particular, we are interested in analyzing the expressive power of this logic over the class of Finite structures. First, we establish the decidability http://logic.rwthaachen.de/Publications/rosen.html.en  

23. INI Programme LAA Conference  Finite And Algorithmic Model The study of the modeltheoretic properties of Finite structures emerged initially as a branch of classical model theory. However, in the late 1980s http://www.newton.cam.ac.uk/programmes/LAA/laaw01.html  

24. Atomic And Electronic Structure Of Solids  Cambridge University Press Defects, NonCrystalline Solids and Finite structures 9. Defects I point defects; 10. Defects II line defects; 11. Defects III surfaces and interfaces; http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=9780521523394 
25. Photonic Band Edge Effects In Finite Structures An...[Phys Rev E Stat Nonlin Sof Using the concept of an effective medium, we derive coupled mode equations for nonlinear quadratic interactions in photonic band gap structures of Finite http://www.ncbi.nlm.nih.gov/sites/entrez?db=pubmed&uid=11461430&cmd=showdetailvi 
26. British Logic Colloquium 2006  Abstracts Second Order Logic over Finite structures Report on a Research Programme Georg Gottlob (Oxford). This talk reports about the results achieved so far in http://www2.maths.ox.ac.uk/logic/blc06abs.shtml  

27. HomePage Of Martin Otto Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite structures, with I. Hodkinson. Bulletin of Symbolic Logic, volume 9, 2003, pp. 387405. http://www.mathematik.tudarmstadt.de/~otto/  

28. MODNET  Description Of Task VIII VIII.2 Positive primitive definability and homomorphisms of Finite structures. a) Positive primitive definability and homomorphisms of Finite structures. http://www.logique.jussieu.fr/modnet/Research/Task VIII: Finite model theory and 
29. 199192 AFLB Calendar Finitemodel theory is a study of the logical properties of Finite mathematical structures. This talk gives an overview, including http://theory.stanford.edu/~aflb/199192.html  

30. MT4516 To introduce the student to Finite mathematical structures such as codes, To investigation of Finite structures, as well as the application of Finite http://www.mcs.standrews.ac.uk/ug/hon4/MT4516.shtml  

31. University Of Chicago Press  Collapse And Fragmentation In Finite Sheets  10.1 These simple considerations illustrate the universal tendency for material to pile up and concentrate at edges of Finite structures because of gravity. http://www.journals.uchicago.edu/cgibin/resolve?2004ApJ...616..288B 
32. DBLP: Martin Grohe 7 EE, Martin Grohe Large Finite structures with Few LkTypes. LICS 1997 216227. 6, Martin Grohe Existential Least FixedPoint Logic and its Relatives. http://www.informatik.unitrier.de/~ley/db/indices/atree/g/Grohe:Martin.html  

33. Reflected Overpressure Impulse On A Finite Structure The effect of angle of incidence of the shock front on reflected impulse loading on a Finite structure is presented in this report. http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA 
34. Cookies Required First, the general features of the propagation properties of the Finite structure have been theoretically analyzed from the phononic band structure of the http://link.aip.org/link/?APL/85/154/1 
35. Cm9226 It takes place of the crack thick mesh of usual Finite element. The size effect of Finite structure has been analyzed. The structure thickness and length http://journal.xjtu.edu.cn/cjam/cm92/cm92e26.html  

36. Set Theory And Its Neighbours, Seventh Meeting Abstract Finite model theory has strong connections with a number of topics within computer science. For example, assuming that every Finite structure http://www.ucl.ac.uk/~ucahcjm/stn/stn9.html  

37. Cookies Required The concept of the density of modes has been lacking a precise mathematical definition for a Finitesize structure. With the explosive growth in the http://link.aps.org/doi/10.1103/PhysRevE.69.057601  

Page 1 148 of 48 1 