The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996

Annals of the Japan Association for Philosophy of Science 9 (2):95-110 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,509

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Is Logic in the Mind or in the World?Gila Sher - 2011 - Synthese 181 (2):353 - 365.
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196.
Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.
Intuitionistic Mathematics and Wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
Second-Order Logic and Foundations of Mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
From Bolzano’s Point of View.Jan Berg - 2000 - The Monist 83 (1):47-67.
The Foundational Problem of Logic.Gila Sher - 2013 - Bulletin of Symbolic Logic 19 (2):145-198.

Analytics

Added to PP
2014-03-28

Downloads
11 (#837,886)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Bounded Arithmetic and the Polynomial Hierarchy.Jan Krajíček, Pavel Pudlák & Gaisi Takeuti - 1991 - Annals of Pure and Applied Logic 52 (1-2):143-153.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Weak Axioms of Determinacy and Subsystems of Analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
Bounded Arithmetic for NC, ALogTIME, L and NL.P. Clote & G. Takeuti - 1992 - Annals of Pure and Applied Logic 56 (1-3):73-117.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.

View all 43 references / Add more references