✦ LIBER ✦

Relative and modified relative realizability

✍ Scribed by Lars Birkedal; Jaap van Oosten

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 170 KB
Volume: 118
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(01)00122-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Smooth realizations of relative Nielsen

Smooth realizations of relative Nielsen numbers

✍ Robert E. Greene; Helga Schirmer 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 602 KB

Modified relative invariants and Liapuno

Modified relative invariants and Liapunov functions

✍ Phil Diamond 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 279 KB

Confined modified realizability

✍ Gilda Ferreira; Paulo Oliva 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

## Abstract We present a refinement ofthe bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezem's notion of strong majorizability. We show how the bounded modified realizability coincides with (a weak

Modified realizability and predicate log

Modified realizability and predicate logic

✍ V. E. Plisko 📂 Article 📅 1997 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 688 KB

Modified relative sensitivity factors fo

Modified relative sensitivity factors for Auger spectra

✍ Ferenc Pavlyak 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 338 KB

Relative topological properties and rela

Relative topological properties and relative topological spaces

✍ A.V. Arhangel'skii 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 870 KB