𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Two Questions About Topological (and Nonstandard) Extensions

✍ Scribed by Camillo Costantini

Publisher
Springer Vienna
Year
2006
Tongue
English
Weight
138 KB
Volume
148
Category
Article
ISSN
0026-9255

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Topological and Nonstandard Extensions
Topological and Nonstandard Extensions
✍ Mauro Di Nasso; Marco Forti πŸ“‚ Article πŸ“… 2004 πŸ› Springer Vienna 🌐 English βš– 192 KB
On two questions about circular choosabi
On two questions about circular choosability
✍ Serguei Norine πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 122 KB

## Abstract We answer two questions of Zhu on circular choosability of graphs. We show that the circular list chromatic number of an even cycle is equal to 2 and give an example of a graph for which the infimum in the definition of the circular list chromatic number is not attained. Β© 2008 Wiley Pe

On two questions about feasibly construc
On two questions about feasibly constructive arithmetic
✍ Morteza Moniri πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 71 KB

## Abstract __IPV__ is the intuitionistic theory axiomatized by Cook's equational theory __PV__ plus __PIND__ on __NP__‐formulas. Two extensions of __IPV__ were introduced by Buss and by Cook and Urquhart by adding __PIND__ for formulas of the form __A__(__x__) ∨ __B__, respectively ¬¬__A__(__x__),

On some questions about selective separa
On some questions about selective separability
✍ Liljana Babinkostova πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 64 KB

## Abstract CH implies that selective separability is not preserved by finite powers (solving [3, Problems 3.7 and 3.9]). In ZFC, selective separability does not imply H‐separability (solving [4, Problem 34]) (Β© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)