Monotone inductive definitions over the continuum

Journal of Symbolic Logic 41 (1):188-198 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272958

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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

Ordinal analysis of non-monotone-definable inductive definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
Δ11‐Good Inductive Definitions Over The Continuum.Jacques Grassin - 1981 - Mathematical Logic Quarterly 27 (1):11-16.
Monotone inductive definitions in explicit mathematics.Michael Rathjen - 1996 - Journal of Symbolic Logic 61 (1):125-146.
A note on theories for quasi-inductive definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.
Monotone inductive definitions in a constructive theory of functions and classes.Shuzo Takahashi - 1989 - Annals of Pure and Applied Logic 42 (3):255-297.
Quantifiers, games and inductive definitions.Peter Aczel - 1975 - Journal of Symbolic Logic 82 (2):1--14.
Abstract inductive and co-inductive definitions.Giovanni Curi - 2018 - Journal of Symbolic Logic 83 (2):598-616.
The Continuum of Inductive Methods.John G. Kemeny - 1953 - Journal of Symbolic Logic 18 (2):168-169.
On the intuitionistic strength of monotone inductive definitions.Sergei Tupailo - 2004 - Journal of Symbolic Logic 69 (3):790-798.
The continuum of inductive methods.Rudolf Carnap - 1952 - [Chicago]: University of Chicago Press.

Analytics

Added to PP
2009-01-28

Downloads
31 (#738,206)

6 months
14 (#243,699)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references