✦ LIBER ✦

TRACE EXPANSIONS OF INITIAL SEGMENTS

✍ Scribed by Roman Murawski

Publisher: John Wiley and Sons
Year: 1984
Tongue: English
Weight: 379 KB
Volume: 30
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19840303003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Initial segments of effectively finite o

Initial segments of effectively finite orders

✍ V. D. Solov'ev 📂 Article 📅 1997 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 236 KB

On initial segments of degrees of constr

On initial segments of degrees of constructibility

✍ V. G. Kanovei 📂 Article 📅 1975 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 290 KB

Some More Remarks on Expandability of In

Some More Remarks on Expandability of Initial Segments

✍ Roman Murawski 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 340 KB

## I ) This paper was written when I was a fellow of the Alexander von Humboldt Stiftung arid worked at the University of Heidelberg under the direction of Professor GERT H. MULLER. I express heie lily appreciation to him. 1 thank also Dr. HEKRYK KOTLARSKI from Warsaw for correspondence and helpt

Minima of initial segments of infinite s

Minima of initial segments of infinite sequences of reals

✍ Jeffry L. Hirst 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

## Abstract Suppose that 〈__x~k~__〉~__k__∈ℕ~ is a countable sequence of real numbers. Working in the usual subsystems for reverse mathematics, RCA~0~ suffices to prove the existence of a sequence of reals 〈__u~k~__〉~__k__∈ℕ~ such that for each __k__, __u~k~__ is the minimum of {__x__~0~, __x__~1~,

On the structure of initial segments of

On the structure of initial segments of models of arithmetic

✍ Jan Krajíček; Pavel Pudlák 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 382 KB

Initial segments of computable linear or

Initial segments of computable linear orders with additional computable predicates

✍ M. V. Zubkov 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 224 KB