On Arithmetical Extension Operators

Annals of the Japan Association for Philosophy of Science 3 (5):216-230 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.3.216

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

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

Provability logics for natural Turing progressions of arithmetical theories.L. D. Beklemishev - 1991 - Studia Logica 50 (1):107 - 128.
Arithmetical interpretations and Kripke frames of predicate modal logic of provability.Taishi Kurahashi - 2013 - Review of Symbolic Logic 6 (1):1-18.
The logic of arithmetical hierarchy.Giorgie Dzhaparidze - 1994 - Annals of Pure and Applied Logic 66 (2):89-112.
Σ 1 -elementarity and Skolem hull operators.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):162-175.
Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
Predicate provability logic with non-modalized quantifiers.Giorgie Dzhaparidze - 1991 - Studia Logica 50 (1):149 - 160.
A Non-arithmetical Gödel Logic.Peter Hájek - 2005 - Logic Journal of the IGPL 13 (4):435-441.
Algebraic and Kripke Semantics for Substructural Logics.Chrysafis Hartonas - 1994 - Dissertation, Indiana University
On the proof-theory of a first-order extension of GL.Yehuda Schwartz & George Tourlakis - 2014 - Logic and Logical Philosophy 23 (3).
Considerable Sets of Linear Operators in Hilbert Spaces as Operator Generalized Effect Algebras.Jan Paseka & Zdenka Riečanová - 2011 - Foundations of Physics 41 (10):1634-1647.
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Completing pseudojump operators.R. Coles, R. Downey, C. Jockusch & G. LaForte - 2005 - Annals of Pure and Applied Logic 136 (3):297-333.
Review: N. A. Sanin, Some Operations on Logico-Arithmetical Formulas; N. A. Sanin, On Imbeddings of the Classical Logico-Arithmetical Calculus into the Constructive Logico-Arithmetical Calculus. [REVIEW]Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (4):297-298.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Quantic fibers for classical systems: an introduction to geometric quantization.Gabriel Catren - 2013 - Scientiae Studia 11 (1):35-74.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,320,049)

6 months
2 (#1,202,487)

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

Transcendence of cardinals.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (1):1-7.
ℵ0-Complete cardinals and transcendency of cardinals.Kanji Namba - 1967 - Journal of Symbolic Logic 32 (4):452 - 472.

Add more references