Trees in Metamathematics.

Dissertation, Stanford University (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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 metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
The metamathematics of algebraic systems, collected papers: 1936-1967.A. I. Malʹt︠s︡ev - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by Benjamin Franklin Wells.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
Book Review. Mechanism, Mentalism and Metamathematics. J Webb. [REVIEW]Harold T. Hodes - 1984 - Journal of Philosophy 81 (8):456-64.
Tree Cultures: The Place of Trees and Trees in Their Place.Owain Jones & Paul Cloke - 2002 - Routledge.
‘Metamathematics’ in Transition.Matthias Wille - 2011 - History and Philosophy of Logic 32 (4):333 - 358.
Mathematical Identity.Donald V. Poochigian - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:27-36.
Logic, Semantics, Metamathematics; Papers from 1923 to 1938. [REVIEW]R. M. Martin - 1958 - Journal of Philosophy 55 (8):351-352.
On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Trees of life: a visual history of evolution.Theodore W. Pietsch - 2012 - Baltimore: Johns Hopkins University Press.
Computable Trees of Scott Rank [image] , and Computable Approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283 - 298.
Uniformization, choice functions and well orders in the class of trees.Shmuel Lifsches & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (4):1206-1227.
Computable Trees of Scott Rank $\omega _{1}^{\mathit{CK}}$ , and Computable Approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283 - 298.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Wilfried Sieg
Carnegie Mellon University

Citations of this work

Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.

Add more citations

References found in this work

No references found.

Add more references