SomaliNet
SCREEN:
NORMAL
NARROW
SERVICES:
TRANSLATIONS
PROMOTIONS
SOMALINET:
ABOUT US
CONTACT US
PRIVACY INFO
SITE STATUS
somali somalia
HOME
NEWS
BUSINESS
CHAT
SINGLES
DIRECTORY
FORUMS
BLOGS
VIRTUAL LIBRARY
PHOTO GALLERY
MORE
WHAT'S NEW!
::
HOME
::
DIR
::
SCIENCE
::
MATH
::
LOGIC_AND_FOUNDATIONS
::
MODEL_THEORY
TRANSLATIONS
PROMOTIONS
ENGLISH SOMALI DICTIONARY
SOMALI ENGLISH DICTIONARY
SOMALIA ON SOMALINET
VIDEOS
SITE MAP
ABOUT SOMALINET
Please bear with us as the site is going through many changes ranging from backend software upgrades to new design.
Some sections may become inaccesible in the next few weeks.
FEEDBACK
|
OLD FRONT PAGE
NEW SECTION
TEST DRIVE
SOMALINET
VIDEOS SECTION!!!
SEARCH DIRECTORY
fopen(dir_cache/2b9598ef7d156c80c201e728a91a5293) [
function.fopen
]: failed to open stream: Permission denied
Error writing to cache!
only in Logic_and_Foundations/Model_Theory
Top
:
Science
:
Math
:
Logic and Foundations
:Model Theory
(4)
Finite Model Theory Homepage
- People, problems, bibliographies, events.
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.
Model Theory of Fields: Suggested Reading
- Short list of online resources compiled by David Marker.
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'.
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor