Showing 51–69 of 69 results for author: Hart, P

A separable non-remainder of H

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We prove that there is a compact separable continuum that (consistently) is not a remainder of the real line. We prove that there is a compact separable continuum that (consistently) is not a remainder of the real line. △ Less

Submitted 25 September, 2007; v1 submitted 6 August, 2007; originally announced August 2007.

Comments: Rewrite after referee's comments

MSC Class: 54F15; 03E50; 03E65; 54A35; 54D15; 54D40; 54D65

Journal ref: Proc. Amer. Math. Soc. 136 (2008), 4057-4063

There is no categorical metric continuum

Authors: Klaas Pieter Hart

Abstract: We show there is no categorical metric continuum. This means that for every metric continuum X there is another metric continuum Y such that X and Y have (countable) elementarily equivalent bases but X and Y are not homeomorphic. As an application we show that the chainability of the pseudoarc is not a first-order property of its lattice of closed sets. We show there is no categorical metric continuum. This means that for every metric continuum X there is another metric continuum Y such that X and Y have (countable) elementarily equivalent bases but X and Y are not homeomorphic. As an application we show that the chainability of the pseudoarc is not a first-order property of its lattice of closed sets. △ Less

Submitted 16 January, 2006; v1 submitted 5 September, 2005; originally announced September 2005.

Comments: Revision after comments from referee (2006-01-16)

MSC Class: 54F12 (Primary); 03C20; 03C35; 54F50 (Secondary)

Cosmic dimensions

Authors: Alan Dow, Klaas Pieter hart

Abstract: Martin's Axiom for $σ$-centered partial orders implies that there is a cosmic space with non-coinciding dimensions. Martin's Axiom for $σ$-centered partial orders implies that there is a cosmic space with non-coinciding dimensions. △ Less

Submitted 15 November, 2005; v1 submitted 5 September, 2005; originally announced September 2005.

Comments: 2005-11-15: new version, largely rewritten

MSC Class: 54F45 (Primary); 03E50; 54E20 (Secondary)

Journal ref: Topology and its Applications, 154 (2007), 2449-2456

A note on an example by van Mill

Authors: K. P. Hart, G. J. Ridderbos

Abstract: Improving on an earlier example by J. van Mill, we prove that there exists a zero-dimensional compact space of countable pi-weight and uncountable character which is homogeneous under MA+notCH, but not under CH. Improving on an earlier example by J. van Mill, we prove that there exists a zero-dimensional compact space of countable pi-weight and uncountable character which is homogeneous under MA+notCH, but not under CH. △ Less

Submitted 7 January, 2005; v1 submitted 10 August, 2004; originally announced August 2004.

Comments: Revision after referee's comments

MSC Class: Primary: 54G20. Secondary: 03E50; 54A25; 54B99

Journal ref: Topology and its Applications, 150, 1--3 (2005), 207--211

A connected F-space

Authors: Klaas Pieter Hart

Abstract: We present an example of a compact connected F-space with a continuous real-valued function f for which the union of the interiors of its fibers is not dense. This indirectly answers a question from Abramovich and Kitover in the negative. We present an example of a compact connected F-space with a continuous real-valued function f for which the union of the interiors of its fibers is not dense. This indirectly answers a question from Abramovich and Kitover in the negative. △ Less

Submitted 11 March, 2004; originally announced March 2004.

MSC Class: 54G20; 46A40; 54D30; 54F15; 54G05

Journal ref: Positivity 10 (2006), 607-611

Span, chainability and the continua H* and I_u

Authors: K. P. Hart, B. J. van der Steeg

Abstract: We show that the continua I_u and H* are non-chainable and have span nonzero. Under CH this can be strengthened to surjective symmetric span nonzero. We discuss the logical consequences of this. We show that the continua I_u and H* are non-chainable and have span nonzero. Under CH this can be strengthened to surjective symmetric span nonzero. We discuss the logical consequences of this. △ Less

Submitted 11 March, 2004; v1 submitted 18 August, 2003; originally announced August 2003.

Comments: 2004-03-11: corrected some typos, some parts rewritten

MSC Class: Primary: 54F15; Secondary: 03C98; 54B20; 54H12; 54D80

Journal ref: Topology and its Applications, 151, 1--3 (2005), 226--237

Elementarity and dimensions

Authors: Klaas Pieter Hart

Abstract: We give an alternative proof of Fedorchuk's recent result that dim X <= Dg X for compact Hausdorff spaces X. We use the Löwenheim-Skolem theorem to reduce the problem to the metric case. We give an alternative proof of Fedorchuk's recent result that dim X <= Dg X for compact Hausdorff spaces X. We use the Löwenheim-Skolem theorem to reduce the problem to the metric case. △ Less

Submitted 8 July, 2003; originally announced July 2003.

MSC Class: 54F45; 03C30; 03C98; 54D30; 54D80

Journal ref: Mathematical Notes, 78, 1--2 (2005), 264--269

The NAIAD experiment for WIMP searches at Boulby mine and recent results

Authors: B. Ahmed, G. J. Alner, H. Araujo, J. C. Barton, A. Bewick, M. J. Carson, D. Davidge, J. V. Dawson, T. Gamble, S. P. Hart, R. Hollingworth, A. S. Howard, W. G. Jones, M. K. Joshi, V. A. Kudryavtsev, T. B. Lawson, V. Lebedenko, M. J. Lehner, J. D. Lewin, P. K. Lightfoot, I. Liubarsky, R. Luscher, J. E. McMillan, B. Morgan, G. Nicklin , et al. (10 additional authors not shown)

Abstract: The NAIAD experiment (NaI Advanced Detector) for WIMP dark matter searches at Boulby mine (UK) is described. The detector consists of an array of encapsulated and unencapsulated NaI(Tl) crystals with high light yield. Six crystals are collecting data at present. Data accumulated by four of them (10.6 kg x year exposure) have been used to set upper limits on the WIMP-nucleon spin-independent and… ▽ More The NAIAD experiment (NaI Advanced Detector) for WIMP dark matter searches at Boulby mine (UK) is described. The detector consists of an array of encapsulated and unencapsulated NaI(Tl) crystals with high light yield. Six crystals are collecting data at present. Data accumulated by four of them (10.6 kg x year exposure) have been used to set upper limits on the WIMP-nucleon spin-independent and WIMP-proton spin-dependent cross-sections. Pulse shape analysis has been applied to discriminate between nuclear recoils, as may be caused by WIMP interactions, and electron recoils due to gamma background. Various calibrations of crystals are presented. △ Less

Submitted 31 January, 2003; originally announced January 2003.

Comments: 22 pages, 9 figures, to be published in Astroparticle Physics

Journal ref: Astropart.Phys.19:691-702,2003

An Algebraic and Logical approach to continuous images

Authors: Klaas Pieter Hart

Abstract: Continuous map**s between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these continuous map**s -- also tools from Model Theory. We illustrate by showing that the Čech-Stone remainder $[0,\infty)$ has a universality property akin to… ▽ More Continuous map**s between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these continuous map**s -- also tools from Model Theory. We illustrate by showing that the Čech-Stone remainder $[0,\infty)$ has a universality property akin to that of $N^*$; a theorem of Maćkowiak and Tymchatyn implies it own generalization to non-metric continua; and certain concrete compact spaces need not be continuous images of $N^*$. △ Less

Submitted 3 May, 2002; v1 submitted 7 March, 2002; originally announced March 2002.

Comments: Notes from a series of lectures at http://www.cts.cuni.cz/events/ws/2002/ws2002.htm, the 30th Winter School on Abstract Analysis<br> 2002-05-02: corrected version after referee's report

MSC Class: 03C50; 03C98; 03E55; 03E65; 06D05; 06E15; 28A60; 54A35; 54C10; 54D40; 54D80; 54F15; 54F45; 54H10

Journal ref: Acta Universitatis Carolinae---Mathematica et Physica 43 (2002), 2--25

Embeddings into P(N)/fin and extension of automorphisms

Authors: A. Bella, A. Dow, K. P. Hart, M. Hrusak, J. van Mill, P. Ursino

Abstract: Given a Boolean algebra B and an embedding e:B -> P(N)/fin we consider the possibility of extending each or some automorphism of B to the whole P(N)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras there are embeddings for which no non-trivial automorphism can be extended. Given a Boolean algebra B and an embedding e:B -> P(N)/fin we consider the possibility of extending each or some automorphism of B to the whole P(N)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras there are embeddings for which no non-trivial automorphism can be extended. △ Less

Submitted 13 December, 2001; originally announced December 2001.

MSC Class: 06E99; 03E35; 03E50; 54G05

On the Maćkowiak-Tymchatyn theorem

Authors: K. P. Hart, B. J. van der Steeg

Abstract: In this paper we give new proofs of the theorem of Maćkowiak and Tymchatyn that every metric continuum is a weakly-confluent image of some one-dimensional hereditarily indecomposable continuum of countable weight. The first is a model-theoretic argument; the second is a topological proof inspired by the first. In this paper we give new proofs of the theorem of Maćkowiak and Tymchatyn that every metric continuum is a weakly-confluent image of some one-dimensional hereditarily indecomposable continuum of countable weight. The first is a model-theoretic argument; the second is a topological proof inspired by the first. △ Less

Submitted 26 October, 2001; originally announced October 2001.

Comments: 16 pages

MSC Class: 54F15

Study and suppression of anomalous fast events in inorganic scintillators for dark matter searches

Authors: V. A. Kudryavtsev, N. J. C. Spooner, P. K. Lightfoot, J. W. Roberts, M. J. Lehner, T. Gamble, M. J. Carson, T. B. Lawson, R. Luscher, J. E. McMillan, B. Morgan, S. M. Paling, M. Robinson, D. R. Tovey, N. J. T. Smith, P. F. Smith, G. J. Alner, S. P. Hart, J. D. Lewin, R. M. Preece, T. J. Sumner, W. G. Jones, J. J. Quenby, B. Ahmed, A. Bewick , et al. (12 additional authors not shown)

Abstract: The status of dark matter searches with inorganic scintillator detectors at Boulby mine is reviewed and the results of tests with a CsI(Tl) crystal are presented. The objectives of the latter experiment were to study anomalous fast events previously observed and to identify ways to remove this background. Clear indications were found that these events were due to surface contamination of crystal… ▽ More The status of dark matter searches with inorganic scintillator detectors at Boulby mine is reviewed and the results of tests with a CsI(Tl) crystal are presented. The objectives of the latter experiment were to study anomalous fast events previously observed and to identify ways to remove this background. Clear indications were found that these events were due to surface contamination of crystals by alphas, probably from radon decay. A new array of unencapsulated NaI(Tl) crystals immersed either in liquid paraffin or pure nitrogen atmosphere is under construction at Boulby. Such an approach allows complete control of the surface of the crystals and the ability to remove any surface contamination. First data from the unencapsulated NaI(Tl) do not show the presence of anomalous fast events. △ Less

Submitted 12 September, 2001; originally announced September 2001.

Comments: 14 pages, 6 figures

Journal ref: Astropart.Phys.17:401-408,2002

Remarks on hereditarily indecomposable continua

Authors: Klaas Pieter Hart, Jan van Mill, Roman Pol

Abstract: We recall a characterization of hereditary indecomposability originally obtained by Krasinkiewicz and Minc, and show how it may be used to give unified constructions of various hereditarily indecomposable continua. In particular we answer a question asked by Mackowiak and Tymchatyn by showing that any continuum of arbitrary weight is a weakly confluent image of a hereditarily indecomposable cont… ▽ More We recall a characterization of hereditary indecomposability originally obtained by Krasinkiewicz and Minc, and show how it may be used to give unified constructions of various hereditarily indecomposable continua. In particular we answer a question asked by Mackowiak and Tymchatyn by showing that any continuum of arbitrary weight is a weakly confluent image of a hereditarily indecomposable continuum of the same weight. We present two methods of constructing these preimages: (a) by model-theoretic means, using the compactness and completeness theorems from first-order logic to derive these results for continua of uncountable weight from their metric counterparts; and (b) by constructing essential map**s from hereditarily indecomposable continua onto Tychonoff cubes. We finish by reviving an argument due to Kelley about hyperspaces of hereditarily indecomposable continua and show how it leads to a point-set argument that reduces Brouwer's Fixed-point theorem to its three-dimensional version. △ Less

Submitted 25 October, 2000; originally announced October 2000.

Comments: Requires amsart.cls[2000/06/02]; contains one postscript figure

MSC Class: 54F15 (Primary); 54F45; 03B10; 03C98; 54D80 (Secondary)

Journal ref: Topology Proceedings, 25 (2000) Summer, 179-206

A small transitive family of continuous functions on the Cantor set

Authors: K. P. Hart, B. J. van der Steeg

Abstract: In this paper we show that, when we iteratively add Sacks reals to a model of ZFC we have for every two reals in the extension a continuous function defined in the ground model that maps one of the reals onto the other. In this paper we show that, when we iteratively add Sacks reals to a model of ZFC we have for every two reals in the extension a continuous function defined in the ground model that maps one of the reals onto the other. △ Less

Submitted 18 April, 2001; v1 submitted 5 April, 2000; originally announced April 2000.

Comments: 11 pages

Hereditary indecomposability and the Intermediate Value Theorem

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We show that hereditarily indecomposable spaces can be characterized by a special instance of the Intermediate Value Theorem in their rings of continuous functions. We show that hereditarily indecomposable spaces can be characterized by a special instance of the Intermediate Value Theorem in their rings of continuous functions. △ Less

Submitted 16 February, 2000; originally announced February 2000.

Comments: 6 pages, final version

MSC Class: 54C30; 54F15; 54G05

Journal ref: Houston Journal of Mathematics, 27, No.2 (2001), 431-438

Applications of another characterization of betaN\N

Authors: Alan Dow, Klaas Pieter Hart

Abstract: Steprans provided a characterization of betaN\N in the aleph_2-Cohen model that is much in the spirit of Parovicenko's characterization of this space under CH. A variety of the topological results established in the Cohen model can be deduced directly from the properties of betaN\N or P(N)/fin that feature in Steprans' result. Steprans provided a characterization of betaN\N in the aleph_2-Cohen model that is much in the spirit of Parovicenko's characterization of this space under CH. A variety of the topological results established in the Cohen model can be deduced directly from the properties of betaN\N or P(N)/fin that feature in Steprans' result. △ Less

Submitted 14 August, 2000; v1 submitted 27 January, 2000; originally announced January 2000.

Comments: Second version, after comments from referee (25 pages)

MSC Class: 54A35 (Primary) 03E35; 06E05; 54D35; 54F65 (Secondary)

Journal ref: Topology and its Applications, 122 (2002), 105-133

The measure algebra does not always embed

Authors: Alan Dow, Klaas Pieter Hart

Abstract: The Open Colouring Axiom implies that the measure algebra cannot be embedded into P(N)/fin. We also discuss the errors in previous results on the embeddability of the measure algebra. The Open Colouring Axiom implies that the measure algebra cannot be embedded into P(N)/fin. We also discuss the errors in previous results on the embeddability of the measure algebra. △ Less

Submitted 24 January, 2000; v1 submitted 4 May, 1999; originally announced May 1999.

Comments: 10 pages 2000/01/24: final version, 11 pages

MSC Class: 06E99; 28A60; 03E35; 54G05

Journal ref: Fundamenta Mathematicae 163 (2000) 163--176

A Universal Continuum of Weight aleph

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We prove that every continuum of weight aleph_1 is a continuous image of the Cech-Stone-remainder R^* of the real line. It follows that under CH the remainder of the half line [0,infty) is universal among the continua of weight c --- universal in the `map** onto' sense. We complement this result by showing that 1) under MA every continuum of weight less than c is a continuous image of R^*… ▽ More We prove that every continuum of weight aleph_1 is a continuous image of the Cech-Stone-remainder R^* of the real line. It follows that under CH the remainder of the half line [0,infty) is universal among the continua of weight c --- universal in the `map** onto' sense. We complement this result by showing that 1) under MA every continuum of weight less than c is a continuous image of R^* 2) in the Cohen model the long segment of length omega_2+1 is not a continuous image of R^*, and 3) PFA implies that I_u is not a continuous image of R^*, whenever u is a c-saturated ultrafilter. We also show that a universal continuum can be gotten from a c-saturated ultrafilter on omega and that it is consistent that there is no universal continuum of weight c. △ Less

Submitted 24 January, 2000; v1 submitted 4 May, 1998; originally announced May 1998.

Comments: 15 pages; 1999-01-27: revision, following referee's report; improved presentation some additional results; 2000-01-24: final version, to appear in Trans. Amer. Math. Soc

MSC Class: 54F15 (primary) 03E35; 04A30; 54G05 (secondary)

Journal ref: Transactions of the American Mathematical Society, 353 (2001), 1819--1838

Čech-Stone remainders of spaces that look like $[0,\infty)$

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We show that many spaces that look like the half~line~$\halfline=[0,\infty)$ have, under~$\CH$, a Čech-Stone-remainder that is homeomorphic to~$\Hstar$. We also show that $\CH$ is equivalent to the statement that all standard subcontinua of~$\Hstar$ are homeomorphic. The proofs use Model-theoretic tools like reduced products and elementary equivalence; rather than constructing homeomorphisms we… ▽ More We show that many spaces that look like the half~line~$\halfline=[0,\infty)$ have, under~$\CH$, a Čech-Stone-remainder that is homeomorphic to~$\Hstar$. We also show that $\CH$ is equivalent to the statement that all standard subcontinua of~$\Hstar$ are homeomorphic. The proofs use Model-theoretic tools like reduced products and elementary equivalence; rather than constructing homeomorphisms we show that the spaces in question have isomorphic bases for the closed sets. △ Less

Submitted 17 May, 1993; originally announced May 1993.

Report number: Logic E-prints May 18, 1993 MSC Class: Primary 54D40; Secondary 54F15 03C20

Journal ref: Acta Univ. Carolin. Math. Phys. 34 (1993), no. 2, 31--39