A second order version of S2i and U21

Journal of Symbolic Logic 56 (3):1038-1063 (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,610

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 Second Order Version of S i 2 and U 1 2.Gaisi Takeuti - 1991 - Journal of Symbolic Logic 56 (3):1038.
Reconciling Enkrasia and Higher-Order Defeat.Mattias Skipper - 2019 - Erkenntnis 84 (6):1369-1386.
Local order property in nonelementary classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.
La version α du livre VII de la Physique d’Aristote et son rapport aux familles byzantines a et b.Mai-Lan Boureau - 2018 - Elenchos: Rivista di Studi Sul Pensiero Antico 39 (1):99-148.
Pecularities of Some Three- and Four-Valued Second Order Logics.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Logica Universalis 12 (3-4):493-509.
Learning concepts by arranging appropriate training order.Yao-Tung Hsu, Tzung-Pei Hong & Shian-Shyong Tseng - 2001 - Minds and Machines 11 (3):399-415.
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.
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.
The Consciousness Paradox: Consciousness, Concepts, and Higher-Order Thoughts. [REVIEW]David Pereplyotchik - 2015 - Philosophical Psychology 28 (3):434-448.
From here to human-level intelligence.John McCarthy - manuscript
Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):147-147.
An Integer-Order Memristive System with Two- to Four-Scroll Chaotic Attractors and Its Fractional-Order Version with a Coexisting Chaotic Attractor.Ping Zhou & Meihua Ke - 2018 - Complexity 2018:1-7.
Reply to Rosanna Keefe’s ‘Modelling higher-order vagueness: columns, borderlines and boundaries’.Susanne Bobzien - 2016
A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions.Gaisi Takeuti - 1962 - Journal of Symbolic Logic 27 (4):468-468.
Instituciones y heterogeindad.Jesús Alcolea Banegas - 1992 - Theoria 7 (1/2/3):65-85.

Analytics

Added to PP
2009-01-28

Downloads
8 (#1,311,508)

6 months
2 (#1,187,206)

Historical graph of downloads
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

Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Bounded arithmetic and truth definition.Gaisi Takeuti - 1988 - Annals of Pure and Applied Logic 39 (1):75-104.
Exponentiation and second-order bounded arithmetic.Jan Krajíček - 1990 - Annals of Pure and Applied Logic 48 (3):261-276.
S 3 i andV 2 i (BD).Gaisi Takeuti - 1990 - Archive for Mathematical Logic 29 (3):149-169.
S 3 i andV 2 i.Gaisi Takeuti - 1990 - Archive for Mathematical Logic 29 (3):149-169.

Add more references