Home  - Mathematical_Logic - Finite Structures
 Images Newsgroups
 1-48 of 48    1

See This List with Details

1. Cherlin, G. And Hrushovski, E.: Finite Structures With Few Types. (AM-152).
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: Dedekind-finite Structures By Agatha Walczak-Typke
DedekindFinite structures by Agatha Walczak-Typke We discuss recent results concerning the algebraic structures whose domains are Dedekind Finite sets.
http://atlas-conferences.com/cgi-bin/abstract/caql-69

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=0022-4812(199612)61:4<1387:GQAPGO>2.0.CO;2-G

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.ist-world.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/hypergraph-covers/

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 Open-content 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 Dries-Macintyre 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/finite-model-theory-preliminaries-2.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.rwth-aachen.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. Home-Page 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.tu-darmstadt.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. 1991-92 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/1991-92.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.st-andrews.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/cgi-bin/resolve?2004ApJ...616..288B

32. DBLP: Martin Grohe
7 EE, Martin Grohe Large Finite structures with Few LkTypes. LICS 1997 216-227. 6, Martin Grohe Existential Least Fixed-Point Logic and its Relatives.
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/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

 1-48 of 48    1