✦ LIBER ✦

A simplification of the functional completeness proofs of Quackenbush and Sierpinski

✍ Scribed by R. Arthur Knoeble

Book ID: 112760558
Publisher: Springer
Year: 1974
Tongue: English
Weight: 81 KB
Volume: 4
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf02485716

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A simplification of a completeness proof

A simplification of a completeness proof of Guaspari and Solovay

✍ Dick H. J. Jongh 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 401 KB

The modM completeness proofs of Guasp~ri and Solovay (1979) for their systems R and R-are improved and the relationship between R and R-is clarified. Guaspari-Sclovay (1979) a modal completeness proof was given for a system R which extends the provabflity logic L by the incorporation of the symbols

The completeness of a functional sequenc

The completeness of a functional sequence

✍ A. A. Mirolyubov 📂 Article 📅 1972 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 298 KB

A further simplification in the proof of

A further simplification in the proof of the structural controllability theorem

✍ Linnemann, A. 📂 Article 📅 1986 🏛 IEEE 🌐 English ⚖ 219 KB

A variant of the proof of the completene

A variant of the proof of the completeness of the first order functional calculus

✍ Jerzy Słupecki; Witold A. Pogorzeilski 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 273 KB

A complete proof of the Feigenbaum conje

A complete proof of the Feigenbaum conjectures

✍ Jean-Pierre Eckmann; Peter Wittwer 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 596 KB

A complete proof of Viterbo's uniqueness

A complete proof of Viterbo's uniqueness theorem on generating functions

✍ David Théret 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 157 KB

We present here the complete proof of a theorem of Claude Viterbo, stating a uniqueness property for quadratic at infinity generating functions.