Domatic number

Finite Model Theory (FMT) is a subarea of model theory (MT). MT is the branch of mathematical logic which deals with the relation between a formal language (syntax) and its interpretations (semantics). FMT is a restriction of MT to interpretations of finite structures, which have a finite universe.

• Since many central theorems of MT do not hold when restricted to finite structures, FMT is quite different from MT in its methods of proof. Central results of classical model theory that fail for finite structures include the compactness theorem, Gödel's completeness theorem, and the method of ultraproducts for first-order logic (FO).
• As MT is closely related to mathematical algebra, FMT became an "unusually effective" instrument in computer science. In other words: "In the history of mathematical logic most interest has concentrated on infinite structures....Yet, the objects computers have and hold are always finite. To study computation we need a theory of finite structures." Thus the main application areas of FMT are: descriptive complexity theory, database theory and formal language theory.
• FMT is mainly about discrimination of structures. The usual motivating question is whether a given class of structures can be described (up to isomorphism) in a given language. For instance, can all cyclic graphs be discriminated (from the non-cyclic ones) by a sentence of first-order logic? This can also be phrased as: is the property "cyclic" FO expressible?

Basic Challenges

A single structure can always be uniquely described in first-order logic. Some finite sets of structures can also be described in FO. However, FO is not sufficient to describe any set containing infinite structures.

Characterisation of a Single Structure

Is a language L expressive enough to describe a single finite structure S uniquely (up to isomorphism)?

Single graphs (1) and (1') having common properties.

Problem

A structure like (1) in the figure can be described by FO sentences like

1. Every node has an edge to another node: ${\mathrm{\forall }}_x{\mathrm{\exists }}_{y}G(x,y).$
2. No node has an edge to itself: ${\mathrm{\forall }}_{x,y}(G(x,y)\Rightarrow x\ne y).$
3. There is at least one node that is connected to all others: ${\mathrm{\exists }}_x{\mathrm{\forall }}_y(x\ne y\Rightarrow G(x,y)).$

However, these properties do not describe the structure uniquely (up to isomorphism), since for structure (1') the above properties hold as well, yet structures (1) and (1') are not isomorphic.

Informally the question is whether by adding enough properties, these properties together describe exactly (1) and are valid (all together) for no other structure (up to isomorphism).

Approach

For a single finite structure it is always possible to precisely describe the structure by a single FO sentence. The principle is illustrated here for a structure with one binary relation $R$ and without constants:

1. say that there are at least $n$ elements: ${\phi }_1=\underset{i\ne j}{\bigwedge }\mathrm{\neg }(x_i=x_j)$
2. say that there are at most $n$ elements: ${\phi }_2={\mathrm{\forall }}_y\underset{i}{\bigvee }(x_i=y)$
3. state every element of the relation $R$: ${\phi }_3=\underset{(a_i,a_j)\in R}{\bigwedge }R(x_i,x_j)$
4. state every non-element of the relation $R$: ${\phi }_4=\underset{(a_i,a_j)\notin R}{\bigwedge }\mathrm{\neg }R(x_i,x_j)$

all for the same tuple $x_1..x_n$, yielding the FO sentence ${\mathrm{\exists }}_{x_1}\dots {\mathrm{\exists }}_{x_n}({\phi }_1\wedge {\phi }_2\wedge {\phi }_3\wedge {\phi }_4)$.

Extension to a fixed Number of Structures

The method of describing a single structure by means of a first-order sentence can easily be extended for any fixed number of structures. A unique description can be obtained by the disjunction of the descriptions for each structure. For instance, for 2 structures this would be

${\mathrm{\exists }}_{x_1}...{\mathrm{\exists }}_{x_n}({\phi }_1\wedge {\phi }_2\wedge {\phi }_3\wedge {\phi }_4)\vee {\mathrm{\exists }}_{x_1}...{\mathrm{\exists }}_{x_n}({\varrho }_1\wedge {\varrho }_2\wedge {\varrho }_3\wedge {\varrho }_4).$

Extension to an infinite Structure

By definition, a set containing an infinite structure falls outside the area that FMT deals with. Note that infinite structures can never be discriminated in FO because of the compactness theorem of classical MT: for every infinite model a non-isomorphic one can be found, but which has exactly the same FO properties.

The most famous example is probably Skolem's theorem, that there is a countable non-standard model of arithmetic.

Characterisation of a Class of Structures

Is a language L expressive enough to describe exactly those finite structures that have certain property P in common (up to isomorphism)?

Set of up to n structures.

Problem

The descriptions given so far all specify the number of elements of the universe. Unfortunately most interesting sets of structures are not restricted to a certain size, like all graphs that are trees, are connected or are acyclic. Thus to discriminate a finite number of structures is of special importance.

Approach

Instead of a general statement, the following is a sketch of a methodology to differentiate between structures that can and cannot be discriminated.

1. The core idea is that whenever one wants to see if a Property P can be expressed in FO, one chooses structures A and B, where A does have P and B doesn't. If for A and B the same FO sentences hold, then P cannot be expressed in FO (else it can). In short:

$A\in P,B\in ̸P$ and $A\equiv B$

where $A\equiv B$ is shorthand for $A\models \alpha \iff B\models \alpha$ for all FO-sentences α, and P represents the class of structures with property P.

2. The methodology considers countably many subsets of the language, the union of which forms the language itself. For instance, for FO consider classes FO[m] for each m. For each m the above core idea then has to be shown. That is:

$A\in P,B\in ̸P$ and $A{\equiv }_{m}B$

with a pair $A,B$ for each $m$ and α (in ≡) from FO[m]. It may be appropriate to choose the classes FO[m] to form a partition of the language.

3. One common way to define FO[m] is by means of the quantifier rank qr(α) of a FO formula α, which expresses the depth of quantifier nesting. For example for a formula in prenex normal form, qr is simply the total number of its quantifiers. Then FO[m] can be defined as all FO formulas α with qr(α) ≤ m (or, if a partition is desired, as those FO formulas with quantifier rank equal to m).

4. Thus it all comes down to showing $A\models \alpha \iff B\models \alpha$ on the subsets FO[m]. The main approach here is to use the algebraic characterization provided by Ehrenfeucht–Fraïssé games. Informally, these take a single partial isomorphism on A and B and extend it m times, in order to either prove or disprove $A{\equiv }_{m}B$, dependent on who wins the game.

Example

We want to show that the property that the size of an orderered structure A=(A, ≤) is even, can not be expressed in FO.

1. The idea is to pick A ∈ EVEN and B ∉ EVEN, where EVEN is the class of all structures of even size.

2. We start with 2 ordered structures A₂ and B₂ with universes A₂ = {1, 2, 3, 4} and B₂ = {1, 2, 3, 4, 5}. Obviously A₂ ∈ EVEN and B₂ ∉ EVEN.

3. For m = 2, we can now show* that in a 2-move Ehrenfeucht–Fraïssé game on A₂ and B₂ the duplicator always wins, and thus A₂ and B₂ cannot be discriminated in FO[2], i.e. A₂ $\models$ α ⇔ B₂ $\models$ α for every α ∈ FO[2].

4. Next we have to scale the structures up by increasing m. For example, for m = 3 we must find an A₃ and B₃ such that the duplicator always wins the 3-move game. This can be achieved by A₃ = {1, ..., 8} and B₃ = {1, ..., 9}. More generally, we can choose A_m = {1, ..., 2^m} and B_m = {1, ..., 2^m+1}; for any m the duplicator always wins the m-move game for this pair of structures*.

5. Thus EVEN on finite ordered structures cannot be expressed in FO.

(*) Note that the proof of the result of the Ehrenfeucht–Fraïssé game has been omitted, since it is not the main focus here.

Applications

Database Theory

A substantial fragment of SQL (namely that which is effectively relational algebra) is based on first-order logic (more precisely can be translated in domain relational calculus by means of Codd's theorem), as the following example illustrates: Think of a database table "GIRLS" with the columns "FIRST_NAME" and "LAST_NAME". This corresponds to a binary relation, say G(f, l) on FIRST_NAME X LAST_NAME. The FO query {l : G('Judy', l)}, which returns all the last names where the first name is 'Judy', would look in SQL like this:

select LAST_NAME 
from GIRLS
where FIRST_NAME = 'Judy'

Notice, we assume here, that all last names appear only once (or we should use SELECT DISTINCT since we assume that relations and answers are sets, not bags).

Next we want to make a more complex statement. Therefore in addition to the "GIRLS" table we have a table "BOYS" also with the columns "FIRST_NAME" and "LAST_NAME". Now we want to query the last names of all the girls that have the same last name as at least one of the boys. The FO query is {(f,l) : ∃h ( G(f, l) ∧ B(h, l) )}, and the corresponding SQL statement is:

select FIRST_NAME, LAST_NAME 
from GIRLS
where LAST_NAME IN ( select LAST_NAME from BOYS );

Notice that in order to express the "∧" we introduced the new language element "IN" with a subsequent select statement. This makes the language more expressive for the price of higher difficulty to learn and implement. This is a common trade-off in formal language design. The way shown above ("IN") is by far not the only one to extend the language. An alternative way is e.g. to introduce a "JOIN" operator, that is:

select distinct g.FIRST_NAME, g.LAST_NAME 
from GIRLS g, BOYS b
where g.LAST_NAME=b.LAST_NAME;

First-order logic is too restrictive for some database applications, for instance because of its inability to express transitive closure. This has led to more powerful constructs being added to database query languages, such as recursive WITH in SQL:1999. More expressive logics, like fixpoint logics, have therefore been studied in finite model theory because of their relevance to database theory and applications.

Querying & Search

Narrative data contains no defined relations. Thus the logical structure of text search queries can be expressed in Propositional Logic, like in:

("Java" AND NOT "island") OR ("C#" AND NOT "music")

Note that the challenges in full text search are different from database querying, like ranking of results.

History

1. Trakhtenbrot 1950: failure of completeness theorem in FO,
2. Scholz 1952: characterisation of spectra in FO,
3. Fagin 1974: the set of all properties expressible in existential second-order logic is precisely the complexity class NP,
4. Chandra, Harel 1979/ 80: fixed-point FO extension for db query languages capable of expressing transitive closure -> queries as central objects of FMT.
5. Immerman, Vardi 1982: fixed point logic over ordered structures captures PTIME -> descriptive complexity (... Immerman–Szelepcsényi theorem)
6. Ebbinghaus, Flum 1995: First comprehensive book "Finite Model Theory"
7. Abiteboul, Hull, Vianu 1995: Book "Foundations of Databases"
8. Immerman 1999: Book "Descriptive Complexity"
9. Kuper, Libkin, Paredaens 2000: Book "Constraint Databases"
10. Darmstadt 2005/ Aachen2006: first international workshops on "Algorithmic Model Theory"

External links

DTZ's auction group in Singapore auctions all types of residential, workplace and retail properties, retailers, homes, accommodations, boarding houses, industrial buildings and development websites. Auctions are at the moment held as soon as a month.

Whitehaven @ Pasir Panjang – A boutique improvement nicely nestled peacefully in serene Pasir Panjang personal estate presenting a hundred and twenty rare freehold private apartments tastefully designed by the famend Ong & Ong Architect. Only a short drive away from Science Park and NUS Campus, Jade Residences, a recent Freehold condominium which offers high quality lifestyle with wonderful facilities and conveniences proper at its door steps. Its fashionable linear architectural fashion promotes peace and tranquility living nestled within the D19 personal housing enclave. Rising workplace sector leads real estate market efficiency, while prime retail and enterprise park segments moderate and residential sector continues in decline International Market Perspectives - 1st Quarter 2014

There are a lot of websites out there stating to be one of the best seek for propertycondominiumhouse, and likewise some ways to discover a low cost propertycondominiumhouse. Owning a propertycondominiumhouse in Singapore is the dream of virtually all individuals in Singapore, It is likely one of the large choice we make in a lifetime. Even if you happen to're new to Property listing singapore funding, we are right here that will help you in making the best resolution to purchase a propertycondominiumhouse at the least expensive value.

Jun 18 ROCHESTER in MIXED USE IMPROVEMENT $1338000 / 1br - 861ft² - (THE ROCHESTER CLOSE TO NORTH BUONA VISTA RD) pic real property - by broker Jun 18 MIXED USE IMPROVEMENT @ ROCHESTER @ ROCHESTER PK $1880000 / 1br - 1281ft² - (ROCHESTER CLOSE TO NORTH BUONA VISTA) pic real estate - by broker Tue 17 Jun Jun 17 Sunny Artwork Deco Gem Near Seashore-Super Deal!!! $103600 / 2br - 980ft² - (Ventnor) pic actual estate - by owner Jun 17 Freehold semi-d for rent (Jalan Rebana ) $7000000 / 5909ft² - (Jalan Rebana ) actual property - by dealer Jun sixteen Ascent @ 456 in D12 (456 Balestier Highway,Singapore) pic real property - by proprietor Jun 16 RETAIL SHOP AT SIM LIM SQUARE FOR SALE, IT MALL, ROCHOR, BUGIS MRT $2000000 / 506ft² - (ROCHOR, BUGIS MRT) pic real estate - by dealer HDB Scheme Any DBSS BTO

In case you are eligible to purchase landed houses (open solely to Singapore residents) it is without doubt one of the best property investment choices. Landed housing varieties solely a small fraction of available residential property in Singapore, due to shortage of land right here. In the long term it should hold its worth and appreciate as the supply is small. In truth, landed housing costs have risen the most, having doubled within the last eight years or so. However he got here back the following day with two suitcases full of money. Typically we've got to clarify to such folks that there are rules and paperwork in Singapore and you can't just buy a home like that,' she said. For conveyancing matters there shall be a recommendedLondon Regulation agency familiar with Singapore London propertyinvestors to symbolize you

Sales transaction volumes have been expected to hit four,000 units for 2012, close to the mixed EC gross sales volume in 2010 and 2011, in accordance with Savills Singapore. Nevertheless the last quarter was weak. In Q4 2012, sales transactions were 22.8% down q-q to 7,931 units, in line with the URA. The quarterly sales discount was felt throughout the board. When the sale just starts, I am not in a hurry to buy. It's completely different from a private sale open for privileged clients for one day solely. Orchard / Holland (D09-10) House For Sale The Tembusu is a singular large freehold land outdoors the central area. Designed by multiple award-profitable architects Arc Studio Architecture + Urbanism, the event is targeted for launch in mid 2013. Post your Property Condos Close to MRT

• 55 years old Systems Administrator Antony from Clarence Creek, really loves learning, PC Software and aerobics. Likes to travel and was inspired after making a journey to Historic Ensemble of the Potala Palace.
  
  You can view that web-site... ccleaner free download Also suitable as a general introduction and overview.
• Leonid Libkin. Introductory chapter of "Elements of Finite Model Theory". Motivates three main application areas: databases, complexity and formal languages.
• Jouko Väänänen. A Short Course on Finite Model Theory. Department of Mathematics, University of Helsinki. Based on lectures from 1993-1994.
• Anuj Dawar. Infinite and Finite Model Theory, slides, University of Cambridge, 2002.
• Template:Cite web Includes a list of open FMT problems.

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534