Basic model theory, Kees Doets

Journal of Logic, Language and Information 8 (2):258-261 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1008300516811

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Explanation, causality, and counterfactuals.Evan K. Jobe - 1985 - Philosophy of Science 52 (3):357-389.
Monadic $\Pi^11$-theories of $\Pi1^1$}-properties.Kees Doets - 1989 - Notre Dame Journal of Formal Logic 30 (2):224-240.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
Axiomatizing universal properties of quantifiers.Kees Doets - 1991 - Journal of Symbolic Logic 56 (3):901-905.
The structure of basic human rights.George E. Panichas - 1985 - Law and Philosophy 4 (3):343 - 375.
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Algebraic Models of Intuitionistic Theories of Sets and Classes.Steve Awodey & Henrik Forssell - unknown
Indiscernible sequences in a model which fails to have the order property.Rami Grossberg - 1991 - Journal of Symbolic Logic 56 (1):115-123.
A reconstruction of the hippocratic humoral theory of health.W. Balzer & A. Eleftheriadis - 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22 (2):207-227.
On $n$-equivalence of binary trees.Kees Doets - 1987 - Notre Dame Journal of Formal Logic 28 (2):238-243.

Analytics

Added to PP
2009-01-28

Downloads
46 (#346,431)

6 months
1 (#1,474,534)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patrick Blackburn
Roskilde University

Citations of this work

No citations found.

Add more citations

References found in this work

A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.
[Omnibus Review].Judith Roitman - 1991 - Journal of Symbolic Logic 56 (2):753-755.

Add more references