Categories

Keywords

Reprint years

DOI

10.2307/2268031

Other Versions

No versions found

Links

PhilArchive

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

Stratified languages.A. Pétry - 1992 - Journal of Symbolic Logic 57 (4):1366-1376.
Type theories, toposes and constructive set theory: predicative aspects of AST.Ieke Moerdijk & Erik Palmgren - 2002 - Annals of Pure and Applied Logic 114 (1-3):155-201.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
Relative arithmetic.Sam Sanders - 2010 - Mathematical Logic Quarterly 56 (6):564-572.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic.Erich Grädel & Gregory L. McColm - 1996 - Annals of Pure and Applied Logic 77 (2):169-199.

Analytics

Added to PP
2013-11-22

Downloads
109 (#450,538)

6 months
30 (#297,765)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Typability in Partial Applicative Structures.Inge Bethke & Piet Rodenburg - 2011 - Journal of Logic, Language and Information 20 (2):161-168.

Add more citations

References found in this work

No references found.

Add more references