An axiomatization for a class of two-cardinal models

Journal of Symbolic Logic 42 (2):174-178 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272117

Links

PhilArchive



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

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

A Novel Interpretation of Plato’s Theory of Forms.P. X. Monaghan - 2010 - Metaphysica 11 (1):63-78.
Multi-cardinal phenomena in stable theories.Timothy Bays - manuscript
Correspondence, Invariance and Heuristics: Essays in Honour of Heinz Post.S. French & H. Kamminga (eds.) - 1993 - Dordrecht: Reidel.
Upward Categoricity from a Successor Cardinal for Tame Abstract Classes with Amalgamation.Olivier Lessmann - 2005 - Journal of Symbolic Logic 70 (2):639 - 660.
Preventive War 'the Supreme Crime'.Noam Chomsky - unknown
How Bad Is Rape?H. E. Baber - 1987 - Hypatia 2 (2):125-138.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Preaching on the Environment.Holmes Rolston - unknown
A Non-cooperative Axiomatization of the Core.Akira Okada & Eyal Winter - 2002 - Theory and Decision 53 (1):1-28.
Finite axiomatization for some intermediate logics.I. Janioka-Żuk - 1980 - Studia Logica 39 (4):415-423.

Analytics

Added to PP
2009-01-28

Downloads
14 (#934,671)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
Recursive logic frames.Saharon Shelah & Jouko Väänänen - 2006 - Mathematical Logic Quarterly 52 (2):151-164.

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.

Add more references