Some extensions of built‐upness on systems of fundamental sequences

&
Mathematical Logic Quarterly 36 (4):357-364 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360409

Links

PhilArchive



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

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

A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
On Wainer's notation for a minimal subrecursive inaccessible ordinal.Noriya Kadota - 1993 - Mathematical Logic Quarterly 39 (1):217-227.
First order extensions of classical systems of modal logic; the role of the Barcan schemas.Horacio Arló Costa - 2002 - Studia Logica 71 (1):87-118.
Leśniewski’s characteristica universalis.Arianna Betti - 2010 - Synthese 174 (2):295-314.
How can you patent genes?Rebecca S. Eisenberg - 2002 - American Journal of Bioethics 2 (3):3 – 11.
Interpolation in fuzzy logic.Matthias Baaz & Helmut Veith - 1999 - Archive for Mathematical Logic 38 (7):461-489.
Comments on complexity and experimentation in biology.Richard M. Burian - 1997 - Philosophy of Science 64 (4):291.
Brouwer meets Husserl: on the phenomenology of choice sequences.Markus Sebastiaan Paul Rogier van Atten - 2007 - Dordrecht: Springer.
The intelligent room project.Rodney A. Brooks - unknown
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Gentzen-type systems for C, K and several extensions of C and K; constructive completeness proofs and effective decision procedure for these systems.H. C. M. de Swart - 1980 - Logique Et Analyse 90 (91):263-284.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Action planning supplements mirror systems in language evolution.Bruce Bridgeman - 2005 - Behavioral and Brain Sciences 28 (2):129-130.
Extending OpenMath with Sequences.Fulya Horozal, Florian Rabe & Michael Kohlhase - unknown

Analytics

Added to PP
2013-12-01

Downloads
15 (#940,347)

6 months
3 (#967,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Book Review. Basic Set Theory. Azriel Levy. [REVIEW]Harold T. Hodes - 1981 - Philosophical Review 90 (2):298-300.

Add more references