A formalisation of the arithmetic of the ordinals less than $W^\omega$

Notre Dame Journal of Formal Logic 10 (1):77-89 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893588

Links

PhilArchive



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

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 Formalisation Of The Arithmetic Of Ordinals Less Than.H. P. Williams - 1969 - Notre Dame Journal of Formal Logic 10 (January):77-89.
Bounds for the closure ordinals of essentially monotonic increasing functions.Andreas Weiermann - 1993 - Journal of Symbolic Logic 58 (2):664-671.
A functorial property of the Aczel-Buchholz-Feferman function.Andreas Weiermann - 1994 - Journal of Symbolic Logic 59 (3):945-955.
On the Relationship Between ID^_.Jeremy Avigad - unknown
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Conservation.Harvey Friedman - manuscript
Arithmetic operations on ordinals.Martin M. Zuckerman - 1975 - Notre Dame Journal of Formal Logic 16 (4):578-582.
“Strenge” arithmetics.Robert K. Meyer & Greg Restall - unknown
The monadic second order theory of all countable ordinals.J. Richard Büchi - 1973 - New York,: Springer. Edited by Dirk Siefkes.
Almost everywhere domination.Natasha L. Dobrinen & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (3):914-922.
Some theories with positive induction of ordinal strength ϕω.Gerhard Jäger & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.
Second-order characterizable cardinals and ordinals.Benjamin R. George - 2006 - Studia Logica 84 (3):425 - 449.
About the proof-theoretic ordinals of weak fixed point theories.Gerhard Jäger & Barbara Primo - 1992 - Journal of Symbolic Logic 57 (3):1108-1119.
An ordinal partition avoiding pentagrams.Jean A. Larson - 2000 - Journal of Symbolic Logic 65 (3):969-978.

Analytics

Added to PP
2010-08-24

Downloads
18 (#811,325)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references