On Weak Theories of Sets and Classes which are Based on Strict ∏math image-REFLECTION

Mathematical Logic Quarterly 31 (21-23):321-332 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850312102

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

On Weak Theories of Sets and Classes which are Based on Strict ∏11-REFLECTION.Andrea Cantini - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (21-23):321-332.
Thomas Strahm. Polynomial time operations in explicit mathematics. The journal of symbolic logic, vol. 62 , pp. 575–594. - Andrea Cantini. Feasible operations and applicative theories based on λη. Mathematical logic quarterly, vol. 46 , pp. 291–312. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
Reflection of Long Game Formulas.Heikki Heikkilä & Jouko Väänänen - 1994 - Mathematical Logic Quarterly 40 (3):381-392.
On the Existence and Recursion Theoretic Properties of ∑math image-Generic Sets of Reals.Galen Weitkamp - 1985 - Mathematical Logic Quarterly 31 (7-8):97-108.
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics ; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Mathematical Logic Quarterly 33 (5):389-406.
A Forcing Approach to Strict‐II11 Reflection and Strict‐II11 = ∑01.W. Richard Stark - 1978 - Mathematical Logic Quarterly 24 (25‐30):467-479.
Reducing omega-model reflection to iterated syntactic reflection.Fedor Pakhomov & James Walsh - 2021 - Journal of Mathematical Logic 23 (2).
Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics.Richard Routley - 1976 - Mathematical Logic Quarterly 23 (36):497-510.
Classes of Recursive Functions and Their Index Sets.F. D. Lewis - 1971 - Mathematical Logic Quarterly 17 (1):291-294.

Analytics

Added to PP
2013-12-01

Downloads
21 (#762,344)

6 months
4 (#862,832)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

Add more citations

References found in this work

Proof theory.K. Schütte - 1977 - New York: Springer Verlag.
Two applications of logic to mathematics.Gaisi Takeuti - 1978 - [Princeton, N.J.]: Princeton University Press.

Add more references