Mautner F. I.. An extension of Klein's Erlanger program: Logic as invariant-theory. American journal of mathematics, vol. 68 , pp. 345–384 [Book Review]

Journal of Symbolic Logic 11 (4):134-136 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268331

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

An Extension of Klein's Erlanger Program: Logic as Invariant-Theory.F. I. Mautner - 1946 - Journal of Symbolic Logic 11 (4):134-136.
What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Zermelo's Analysis of 'General Proposition'.R. Gregory Taylor - 2009 - History and Philosophy of Logic 30 (2):141-155.
Feferman S. and Kreisel G.. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 , pp. 480–485.Feferman Solomon. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen 1968, pp. 29–52; also Compositio mathematica, vol. 20 , p. 29–52. [REVIEW]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.
Spector Clifford. Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (1):128-128.
Logical operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.
Invariant Version of Cardinality Quantifiers in Superstable Theories.Alexander Berenstein & Ziv Shami - 2006 - Notre Dame Journal of Formal Logic 47 (3):343-351.
The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein.Burt C. Hopkins - 2011 - Indiana University Press.
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.
An Extension Principle for Fuzzy Logics.Giangiacomo Gerla - 1994 - Mathematical Logic Quarterly 40 (3):357-380.
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
Algebraic Characterizations for Universal Fragments of Logic.Raimon Elgueta - 1999 - Mathematical Logic Quarterly 45 (3):385-398.
Wittgenstein on the Foundations of Mathematics.Crispin Wright - 1980 - Cambridge, Mass.: Harvard University Press.

Analytics

Added to PP
2013-11-22

Downloads
17 (#843,162)

6 months
2 (#1,263,261)

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

No references found.

Add more references