Model completeness and direct power

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):3-9 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360102

Links

PhilArchive



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

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

Model completeness and direct power.Kazem Taghva - 1989 - Mathematical Logic Quarterly 36 (1):3-9.
Top-down influences in the interactive alignment model: The power of the situation model.Tessa Warren & Keith Rayner - 2004 - Behavioral and Brain Sciences 27 (2):211-211.
Concepts of Logical Consequence.Darcy Allen Cutler - 1997 - Dissertation, The University of Western Ontario (Canada)
Expressive completeness through logically tractable models.Martin Otto - 2013 - Annals of Pure and Applied Logic 164 (12):1418-1453.
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Archive for Mathematical Logic 37 (5-6):327-341.
On Models Constructed by Means of the Arithmetized Completeness Theorem.Richard Kaye & Henryk Kotlarski - 2000 - Mathematical Logic Quarterly 46 (4):505-516.
Some kinds of modal completeness.J. F. A. K. van Benthem - 1980 - Studia Logica 39 (2):125-141.
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
Model completeness results for elliptic and abelian functions.Ricardo Bianconi - 1991 - Annals of Pure and Applied Logic 54 (2):121-136.
Logic for update products and steps into the past.Joshua Sack - 2010 - Annals of Pure and Applied Logic 161 (12):1431-1461.
A Simple Proof of Completeness and Cut-elimination for Propositional G¨ odel Logic.Arnon Avron - unknown
The completeness of linear logic for Petri net models.K. Ishihara & K. Hiraishi - 2001 - Logic Journal of the IGPL 9 (4):549-567.
Analytic completeness theorem for absolutely continuous biprobability models.Radosav S. Đorđević - 1992 - Mathematical Logic Quarterly 38 (1):241-246.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.

Analytics

Added to PP
2016-02-04

Downloads
26 (#595,031)

6 months
2 (#1,232,442)

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

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Saturated model theory.Gerald E. Sacks - 1972 - Reading, Mass.,: W. A. Benjamin.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Complete Theories.Abraham Robinson - 1977 - North-Holland.
Complete Theories.Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.

Add more references