Reviewed Work: Recent developments in model theory, Notre Dame Journal of Formal Logic, vol. 54, nos. 3-4

Bulletin of Symbolic Logic 20 (3):357-359, (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

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

Hyperbolic towers and independent generic sets in the theory of free groups, to appear in the Proceedings of the conference" Recent developments in Model Theory.Lars Louder, Chloé Perin & Rizos Sklinos - forthcoming - Notre Dame Journal of Formal Logic.
Reconstructing formal logic: Further developments and considerations.George Goe - 1970 - Notre Dame Journal of Formal Logic 11 (1):37-75.
Some recent work on the assertoric syllogistic.Joseph A. Novak - 1980 - Notre Dame Journal of Formal Logic 21 (2):229-242.
A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.
Intended model theory.Albert Sweet - 1979 - Notre Dame Journal of Formal Logic 20 (3):575-592.
A model of a strong paraconsistent set theory.O. Esser - 2003 - Notre Dame Journal of Formal Logic 44.
Constructive predicate logic with strong negation and model theory.Seiki Akama - 1987 - Notre Dame Journal of Formal Logic 29 (1):18-27.
Model theory of alternative rings.Bruce I. Rose - 1978 - Notre Dame Journal of Formal Logic 19 (2):215-243.
A set-theoretic model for nonassociative number theory.D. Bollman & M. Laplaza - 1973 - Notre Dame Journal of Formal Logic 14 (1):107-110.
An examination of the influence of Boole's algebra on Peirce's developments in logic.Emily Michael - 1979 - Notre Dame Journal of Formal Logic 20 (4):801-806.
Some applications of model theory to the metatheory of program schemata.Richard A. DeMillo - 1977 - Notre Dame Journal of Formal Logic 18 (3):489-495.
Finite axiomatizability and theories with trivial algebraic closure.Dugald Macpherson - 1991 - Notre Dame Journal of Formal Logic 32 (2):188-192.
Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.

Analytics

Added to PP
2014-12-05

Downloads
11 (#1,123,374)

6 months
1 (#1,491,286)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references