Mathematical Logic Quarterly 37 (9‐12):149-166 (1991)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19910370904
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,289
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Frege Structures and the Notions of Proposition, Truth and Set.Peter Aczel - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), Journal of Symbolic Logic. North-Holland. pp. 244-246.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Formal Semantics in Modern Type Theories with Coercive Subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Omitting Types in Incomplete Theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
Weight Ω in Stable Theories with Few Types.Bernhard Herwig - 1995 - Journal of Symbolic Logic 60 (2):353-373.
Stable Types in Rosy Theories.Assaf Hasson & Alf Onshuus - 2010 - Journal of Symbolic Logic 75 (4):1211-1230.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Proof-Relevance of Families of Setoids and Identity in Type Theory.Erik Palmgren - 2012 - Archive for Mathematical Logic 51 (1-2):35-47.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.
The Ontology of Products.Massimiliano Vignolo - 2010 - Metaphysica 11 (1):1-16.

Analytics

Added to PP index
2013-12-01

Total views
14 ( #705,195 of 2,445,259 )

Recent downloads (6 months)
1 ( #457,173 of 2,445,259 )

How can I increase my downloads?

Downloads

My notes