Access the full text.
Sign up today, get DeepDyve free for 14 days.
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
Zeitsehr. f. math. Lopik und Crundlagen d. Math. Bd. 16, S. 1-112 (1970) ALGORITHMEN FUR ORDNUNGSZAHLEN UND NORMALFUNKTIONEN 111 Von WALTER NETJMER in Mainz Vorbemerkung Der nach langer Unterbrechung hiermit erscheinende dritte Abschnitt dieser Arbeit erfiillt trotz seines Umfangs noch nicht die Vorankundigungen an verschie- denen Stellen von Teil 11. (Zitate am SchluB dieser Vorbemerkung.) Denn die in der Vorbemerkung zu I1 und in $3, 7 von I1 angedeutete Modifikation des Algorith- mus b B, durch Umschaltung auf Profazienten, einschliefllich der damit eingeleiteten Fortsetzung des bB,, wird erst im vierten Abschnitt gebracht werden (der als Manuskript schon vorliegt). Zur exakten Definition der Profazienten bedarf es namlich eines speziellen Algorithmus fur Zahlen (worauf in 11, $ 3, 7 gleichfalls hingewiesen wurde), dessen Einfiihrung zwar kurz hiitte abgemacht werden konnen, der aber an sich genugend Interesse bietet, um ausfiihrlicher untersucht zu werden. Das ist in diesem Abschnitt geschehen. Der in Rede stehende Algorithmus ist eine Verallgemeinerung des in KO, V gebrachten, sowohl hinsichtlich einer freieren Behandlung seiner Operationen wie seiner obertragung auf beliebige Zahlenklassen mit reguliirer Anfangszahl. Er wird ,,deskriptiv" genannt, weil er groBere Zahlen durch kleinere darstellt, indem er sich damit beschaftigt, einen Abschnitt derzahlenklasse der regularen Anfangszahl @ durch
Mathematical Logic Quarterly – Wiley
Published: Jan 1, 1970
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.