A Second Order Version of S i 2 and U 1 2

Journal of Symbolic Logic 56 (3):1038 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275071

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

Local order property in nonelementary classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.
Learning concepts by arranging appropriate training order.Yao-Tung Hsu, Tzung-Pei Hong & Shian-Shyong Tseng - 2001 - Minds and Machines 11 (3):399-415.
The Consciousness Paradox: Consciousness, Concepts, and Higher-Order Thoughts. [REVIEW]David Pereplyotchik - 2015 - Philosophical Psychology 28 (3):434-448.
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0.Jon Barwise & John Etchemendy - 1993 - Center for the Study of Language and Information Publications.
Instituciones y heterogeindad.Jesús Alcolea Banegas - 1992 - Theoria 7 (1/2/3):65-85.
From here to human-level intelligence.John McCarthy - manuscript
Instituciones y heterogeindad.Juan B. Climent Vidal - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):65-85.
Review: Georg Kreisel, Gaisi Takeuti, Formally Self-Referential Propositions for Cut Free Analysis and Related Systems; Peter Pappinghaus, A Version of the ∑1 1 -Reflection Principle for CFA Provable in PRA. [REVIEW]Carlo Cellucci - 1985 - Journal of Symbolic Logic 50 (1):244-246.
Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):147-147.
A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions.Gaisi Takeuti - 1962 - Journal of Symbolic Logic 27 (4):468-468.
The higher order approach to consciousness is defunct.Ned Block - 2011 - Analysis 71 (3):419 - 431.
De Se Thoughts and Conscious Mind.Javier Vidal - unknown
Rational Hope, Moral Order, and the Revolution of the Will.Andrew Chignell - 2013 - In Eric Watkins (ed.), Divine Order, Human Order, and the Order of Nature. Oxford: Oxford University Press. pp. 197-218.
Michael Polanyi and Spontaneous Order, 1941-1951.Struan Jacobs - 1997 - Tradition and Discovery 24 (2):14-28.
Complex analysis in subsystems of second order arithmetic.Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (1):15-35.

Analytics

Added to PP
2016-06-30

Downloads
2 (#1,787,337)

6 months
2 (#1,240,909)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996.Yuzuru Kakuda, Kanji Namba & Nobuyoshi Motohashi - 1997 - Annals of the Japan Association for Philosophy of Science 9 (2):95-110.

Add more citations

References found in this work

No references found.

Add more references