China alert over bird flu death

Chinese authorities shut down and clean poultry markets in Hebei province, after the first human death in nearly a year.

news.bbc.co.uk

Our writers talk back

Some of the previous contributors to the Green Room respond to readers' questions and comments.

news.bbc.co.uk

First flight of algae-fuelled jet

Continental Airlines is the latest to test fly a jet biofuel, this time with a product derived partially from algae.

news.bbc.co.uk

'Wolfman' returns

Explorer Jim McNeill tracks down Arctic wolves

news.bbc.co.uk

Beagle hunter

On a mission to find the most famous ship of science

news.bbc.co.uk

Mummy of female pharaoh uncovered

Egyptologists find remains of a mummy thought to belong to a queen who ruled 4,300 years ago, Egypt's antiquities chief announced.

news.bbc.co.uk

Canadians claim South Pole record

A trio of Canadians claim a new record for the fastest trek across Antarctica to the South Pole.

news.bbc.co.uk

US vows 'huge' marine protection

The US is to establish "the largest area of protected sea in the world", banning fishing and mining, around its Pacific islands.

news.bbc.co.uk

Earth Watch

Why it is hard to predict sudden environmental crises

news.bbc.co.uk

Zimbabwe troops 'eat elephants'

A Zimbabwean wildlife campaigner tells the BBC that soldiers are being given elephant meat to eat, as the economic crisis deepens.

news.bbc.co.uk

Everest trip helps critically ill

Blood oxygen levels recorded on a trip by medics to Everest could help the treatment of critically ill patients.

news.bbc.co.uk

Tech fair offers greener vision

Analysts at the Consumer Electronics Show say green credentials of tech products will become critical to success.

news.bbc.co.uk

Panda bites his third tourist in two years at Beijing zoo

A panda at Beijing zoo bites a man for the third time in two years.

news.bbc.co.uk

Eat it or lose it - why centuries of crop diversity are at risk

Centuries of crop diversity are at risk of being lost forever as farmers turn to just a few modern, high yielding varieties.

news.bbc.co.uk

Body repair 'could be ramped up'

A combination of drugs could trick the body into sending its repair mechanisms into overdrive, say scientists.

news.bbc.co.uk

Venomous mammal caught on camera

Rare footage of one of the world's most strange and elusive mammals is captured by scientists.

news.bbc.co.uk

Animal matters

Scotland's debate over tests on primates

news.bbc.co.uk

Holes give edge to new armour

Scientists from the UK Ministry of Defence (MoD) have devised ultra-hard vehicle armour to protect military personnel.

news.bbc.co.uk

Black holes 'preceded galaxies'

Astronomers believe they have solved a cosmic chicken-and-egg question: what came first - black holes or galaxies?

news.bbc.co.uk

Mosquitoes make sweet love music

Sexy songs sung by mosquitoes in courtship could be key to curbing the spread of dengue fever, say scientists.

news.bbc.co.uk

Baby Jupiter's huge weight gain

The planet Jupiter must have gained mass fast during its infancy, according to astronomers.

news.bbc.co.uk

Feilden's blog

Ground-breaking new technique in stem cell science

news.bbc.co.uk

Poetry or science?

Is romantic love just a chemical cocktail?

news.bbc.co.uk

Heat may spark world food crisis

Half the world's population could face food crisis by 2100 as soaring temperatures cripple staple crops, scientists warn.

news.bbc.co.uk

A deep-sea fish caught in the Pacific has mirrors for eyes

A deep-sea fish caught in the Pacific has eyes which use mirrors as well as lenses, scientists discover.

news.bbc.co.uk

 Science > Math > Logic and Foundations > Model Theory

 Last searches:krakデスノートpurchase domainfenerbahçemaybank2uהשמיניה

Science > Math > Logic and Foundations > Model Theory

Model Theory:

Finite Model Theory Homepage

People, problems, bibliographies, events.

http://www-mgi.informatik.rwth-aachen.de/FMT/

Introduction to Model Theory

Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.

http://www.cs.nott.ac.uk/~nza/MGS/MGS00/

Model Theory of Fields: Suggested Reading

Short list of online resources compiled by David Marker.

http://www.math.uic.edu/~marker/mtf-reading.html

Graand

Free Classified Ads Portal

www.graand.com

Model Theory. Skolem's Paradox. Ramsey's Theorem.

Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.

http://www.ltn.lv/~podnieks/gta.html