𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The anti-Specker property, positivity, and total boundedness

✍ Scribed by Douglas Bridges; Hannes Diener

Publisher
John Wiley and Sons
Year
2010
Tongue
English
Weight
109 KB
Volume
56
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Working within Bishop‐style constructive mathematics, we examine some of the consequences of the anti‐Specker property, known to be equivalent to a version of Brouwer's fan theorem. The work is a contribution to constructive reverse mathematics (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Synthesis and Properties of Polyacetylen
Synthesis and Properties of Polyacetylenes Connecting Carbazole at the 2- and 3-Positions: Effect of Polymerization Catalysts and Substitution Positions on the Optoelectronic Properties
✍ Fumio Sanda; Ritsuya Kawasaki; Masashi Shiotsuki; Tetsuya Takashima; Akihiko Fuj 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 236 KB

## Abstract The new carbazole‐containing acetylene monomers, 2‐ethynyl‐9‐__tert__‐butoxycarbonylcarbazole (1) and 3‐ethynyl‐9‐__tert__‐butoxycarbonylcarbazole (2) were synthesized and polymerized with Rh^+^(nbd)[__η__^6^–C~6~H~5~B^−^(C~6~H~5~)~3~], [(nbd)RhCl]~2~–Et~3~N, [(nbd)RhCl]~2~–KN(SiMe~3~)~

Evaluation of a total hepatitis C virus
Evaluation of a total hepatitis C virus (HCV) core antigen assay for the detection of antigenaemia in anti-HCV positive individuals
✍ Pierpaolo Valcavi; Maria Cristina Medici; Francesca Casula; Maria Cristina Arcan 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 211 KB

## Abstract A new, sensitive enzyme immunoassay has been developed for detecting and quantifying total hepatitis C virus (HCV) core antigen in anti‐HCV positive or negative sera (“__trak__‐__C__™”, Ortho Clinical Diagnostics, Raritan, NJ). The purpose of this study was to evaluate the performance o

Positivity properties for the clamped pl
Positivity properties for the clamped plate boundary problem on the ellipse and strip
✍ Hermann Render; Marius Ghergu 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 171 KB

## Abstract The positivity preserving property for the biharmonic operator with Dirichlet boundary condition is investigated. We discuss here the case where the domain is an ellipse (that may degenerate to a strip) and the data is a polynomial function. We provide various conditions for which the p