Bernhard Banaschewski McMaster University William DeMeo University of South Carolina François Dorais Dartmouth College Mart́ın Escardó University of Birmingham Mai Gehrke Université Diderot Paris 7 & CNRS Steven Givant Mills College Heinz-Peter Gumm Universität Marburg Steve Jackson University of North Texas Michael Pinsker Université Diderot Paris 7 Hilary Priestley University of Oxford Dima Si...

We carry out a detailed comparison of the two topological dualities for distributive meet-semilattices studied by Celani [3] and by Bezhanishvili and Jansana [2]. We carry out such comparison, that was already sketched in [2], by defining the functors involved in the equivalence of both dual categories of distributive meet-semilattices.

The finite element model of suspension bridge was established according to the actual engineering in Southwest area China. In order simulate random ground motion accurately and efficiently, orthogonal function modeling method based on Priestley evolution spectrum theory is adopted. dimensionality reduction simulation realized, simulated samples are input into carry out time history analysis. Fi...

This article discusses how constructivist psychology might contribute to studies of the history and philosophy of science. It is suggested that this would be a fruitful topic for graduate research, and a brief analysis is provided of what would be required to model the construct systems involved in the Priestley-Lavoisier controversy over the roles of phlogiston and oxygen in calcification. It ...

NephSAP 2007; 6: 199–280. 6. Halperin ML, Kamel KS. Potassium. Lancet 1998; 352: 135–40. 7. Grimm PR, Sansom SC. BK channels in the kidney. Curr Opin Nephrol Hypertens 2007; 16: 430–6. 8. Oster JR, Singer I, Thatte L et al. The polyuria of solute diuresis. Arch Intern Med 1997; 157: 721–9. 9. Mittal VK, Pierce AK, Priestley JC. Use of probenecid in ticarcillin-induced hypokalemia. Clin Ther 198...

Loosely speaking, a stationary time series is one whose statistical properties remain constant over time, whereas the statistical properties of locally stationary (LS) time series change slowly over time. As a consequence, LS series can appear stationary when examined close up, but appear nonstationary when examined on a larger scale. Priestley (1983) and Nason and von Sachs (1999) review local...

We give a representation of distributive lattices with the existential quantifier in terms of spectral spaces, which is an alternative to Cignoli’s representation in terms of Priestley spaces. Then we describe dual spectral spaces of subdirectly irreducible and simple Q-distributive lattices and prove that the variety QDist of Q-distributive lattices does not have the congruence extension prope...