Universally Complete Universal Theories

Mathematical Logic Quarterly 17 (1):351-370 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19710170140

Links

PhilArchive



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

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

The Automated Discovery of Universal Theories.Kevin T. Kelly - 1986 - Dissertation, University of Pittsburgh
Complete theories with only universal and existential axioms.A. H. Lachlan - 1987 - Journal of Symbolic Logic 52 (3):698-711.
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
Homogeneous Universal Models of Universal Theories.Peter H. Krauss - 1976 - Mathematical Logic Quarterly 23 (27‐30):415-426.
A Complete Theory of Everything (will be subjective).Marcus Hutter - 2010 - Algorithms 3 (4):329-350.
Nearly Model Complete Theories.David W. Kueker & Brian P. Turnquist - 1999 - Mathematical Logic Quarterly 45 (3):291-298.
Completeness with respect to a chain and universal models in fuzzy logic.Franco Montagna - 2011 - Archive for Mathematical Logic 50 (1-2):161-183.
Logic, meaning, and computation: essays in memory of Alonzo Church.C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Boston: Kluwer Academic Publishers.
Quantifier Elimination for a Class of Intuitionistic Theories.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2008 - Notre Dame Journal of Formal Logic 49 (3):281-293.
A minimal counterexample to universal baireness.Kai Hauser - 1999 - Journal of Symbolic Logic 64 (4):1601-1627.
Self-referential arguments in philosophy.Elke Brendel - 2007 - Grazer Philosophische Studien 74 (1):177-197.
Classifying ℵo-categorical theories II: The existence of finitely axiomatizable proper class II theories.George Weaver & David Lippel - 1998 - Studia Logica 60 (2):275-297.
Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.

Analytics

Added to PP
2013-11-24

Downloads
20 (#761,812)

6 months
5 (#627,481)

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