Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems

&
Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19680140702

Links

PhilArchive



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

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

Introduction to Complexity and Complex Systems.Robert B. Northrop - 2010 - Taylor & Francis.
Syntax, semantics, and the problem of the identity of mathematical objects.Gian-Carlo Rota, David H. Sharp & Robert Sokolowski - 1988 - Philosophy of Science 55 (3):376-386.
Global Reflection Principles.P. D. Welch - 2017 - In I. Niiniluoto, H. Leitgeb, P. Seppälä & E. Sober (eds.), Logic, Methodology and Philosophy of Science - Proceedings of the 15th International Congress, 2015. College Publications.
Presenting the formal theory of hierarchical complexity.Michael Lamport Commons & Alexander Pekker - 2008 - World Futures 64 (5-7):375 – 382.
Separating stationary reflection principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Aspects of Complexity in Life and Science.Claus Emmeche - 1997 - Philosophica 59 (1).
Complexity and sustainability.Jennifer Wells - 2013 - New York: Routledge.
Quantification for Peirce's preferred system of triadic logic.Atwell R. Turquette - 1981 - Studia Logica 40 (4):373 - 382.
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
Comments on complexity and experimentation in biology.Richard M. Burian - 1997 - Philosophy of Science 64 (4):291.
Organized Complexity: Properties, Models and the Limits of Understanding.John Collier - unknown
Synthetic analysis: How science combats complexity.Sunny Auyang - manuscript
Complexity theories, social theory, and the question of social complexity.Peter Stewart - 2001 - Philosophy of the Social Sciences 31 (3):323-360.
Lecture notes on term rewriting and computational complexity.Harvey Friedman - manuscript

Analytics

Added to PP
2011-07-20

Downloads
60 (#267,952)

6 months
10 (#268,574)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Reflection ranks and ordinal analysis.Fedor Pakhomov & James Walsh - 2021 - Journal of Symbolic Logic 86 (4):1350-1384.
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.

View all 57 citations / Add more citations

References found in this work

Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.

View all 10 references / Add more references