On the $\Sigma^01$-conservativity of $\Sigma^01$-completeness

Notre Dame Journal of Formal Logic 32 (4):554-561 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635927

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

On Almost Orthogonality in Simple Theories.Itay Ben-Yaacov & Frank O. Wagner - 2004 - Journal of Symbolic Logic 69 (2):398 - 408.
Σ12-sets of reals.Jaime I. Ihoda - 1988 - Journal of Symbolic Logic 53 (2):636 - 642.
ΜΑΝΑΚΙΔΟΥ (Φ. Π.) Στρατηγικες της Οδυσσειας. Συμβολη στο Ομηρικο Ζητημα. Pp. 390. Thessaloniki: University Studio Press, 2002. Paper, €26. ISBN: 978-960-12-1122-0. [REVIEW]Andreas Fountoulakis - 2007 - The Classical Review 57 (02):270-271.
AESCHYLUS' SUPPLICES 11–12: DANAUS AS [Pi][Epsilon][Sigma][Sigma][Omicron][Nu][Omicron][Mu][Omega][Nu].Geoffrey Bakewell - 2008 - Classical Quarterly 58 (1):303-307.
Seneca’s ninetieth letter. [REVIEW]Costas Panayotakis - 2004 - The Classical Review 54 (01):103-.
ΔΕΔΟΥΣΗ (Χ.Β.) Μενανδρου Σαμια. (Ακαδημια Αθηνων, Βιβλιοθηκη Α. Μανουση 8.) Pp. xiv + 368. Athens: Κεντρον Ερευνης της Ελληνικης και Λατινικης Γραμματειας, 2006. Paper. ISBN: 960-404-086-3. [REVIEW]Andreas Fountoulakis - 2008 - The Classical Review 58 (1):83-84.
’Ι.ΓΤαϊφάκος: Πετρωνιος και Κοραης. Κοιτικά και έρμηνευτικά σχολια στό κείμευο τώυ Σατυρικώυ. Pp. 185. Athens: Εστία, 1997.ISBN:960-206-431-5. [REVIEW]Costas Panayotakis - 1999 - The Classical Review 49 (01):272-.
Primitive Recursion and the Chain Antichain Principle.Alexander P. Kreuzer - 2012 - Notre Dame Journal of Formal Logic 53 (2):245-265.
ΣΥΝΟΔΙΝΟΥ (Κ.) (ed., trans.) Ευριπιδης ‘Εκαβη. In two volumes. Pp. 723. Athens: Δαιδαλος – Ι. Ζαχαροπουλος, 2005. Cased. ISBN: 978-960-227-339-5. [REVIEW]Vayos J. Liapis - 2007 - The Classical Review 57 (2):559-559.
The inclusion-exclusion principle for finitely many isolated sets.J. C. E. Dekker - 1986 - Journal of Symbolic Logic 51 (2):435-447.
$\Sigma^1_1$ -Completeness of a Fragment of the Theory of Trees with Subtree Relation.P. Cintioli & S. Tulipani - 1994 - Notre Dame Journal of Formal Logic 35 (3):426-432.
Z. Bonias: '[Epsilon, accent][nu][alpha] [alpha][gamma][rho][omicron][tau][iota][kappa][omicron, accent] [iota][epsilon][rho][omicron, accent] [sigma][tau][iota][final small sigma] A[iota][gamma][iota][epsilon, accent][final small sigma] [Lambda][alpha][kappa][omega][nu][iota, accent][alpha][final small sigma] ( [Delta]η[mu][omicron][sigma][iota][epsilon][upsilon, accent][mu][alpha][tau][alpha] [tau][omicron][upsilon] [alpha][rho][chi][alpha][iota][omicron][lambda][omicron][gamma][iota][kappa][omicron][upsilon, accent] [delta][epsilon][lambda][tau][iota, accent][omicron][upsilon] , 62). Pp. 230, 67 pls. Athens: Ypourgeio Politismou, 1998. Price: drs 10,000. ISBN: 960-214-190-5 (ISSN: 1108-1244). [REVIEW]Graham Shipley - 2000 - The Classical Review 50 (02):663-.

Analytics

Added to PP
2010-08-24

Downloads
28 (#555,203)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On the provability logic of bounded arithmetic.Rineke Verbrugge & Alessandro Berarducci - 1991 - Annals of Pure and Applied Logic 61 (1-2):75-93.
The Arithmetics of a Theory.Albert Visser - 2015 - Notre Dame Journal of Formal Logic 56 (1):81-119.

Add more citations

References found in this work

No references found.

Add more references