#### Document Type

Article

#### Publication Date

1983

#### Publication Source

Houston Journal of Mathematics

#### Abstract

A partially ordered set P is ω-chain complete if every countable chain (including the empty set) in P has a supremum. … Notice that an ω-chain continuous function must preserve order. P has the (least) fixed point property for ω-chain continuous functions if every ω-chain continuous function from P to itself has (least) fixed point.

It has been shown that a partially ordered set does not have to be ω-chain complete to have the least fixed point property for ω-chain continuous functions. This answers a question posed by G. Plotkin in 1978. I.I. Kolodner has shown that an ω-chain complete partially ordered set has the least fixed point property for ω-chain continuous functions. Plotkin and Smythe and others have used ω-chain complete partially ordered sets in their study of models for theoretical computer science in order to have fixed or least fixed point properties. The result should also be compared with G. Markowsky’s result that to have the least fixed point property (every order preserving function has a least fixed point), a partially ordered set must be chain complete. It is the purpose of this paper to look at some cases in which ω-chain completeness and the least fixed point property for ω-chain continuous functions are equivalent.

#### Inclusive pages

231-244

#### ISBN/ISSN

0362-1588

#### Document Version

Published Version

#### Copyright

Copyright © 1983, Houston Journal of Mathematics

#### Publisher

Houston Journal of Mathematics

#### Volume

9

#### Issue

2

#### Peer Reviewed

yes

#### eCommons Citation

Mashburn, Joe, "The Least Fixed Point Property for ω-chain Continuous Functions" (1983). *Mathematics Faculty Publications*. 21.

https://ecommons.udayton.edu/mth_fac_pub/21

COinS

## Comments

Document is made available for download with the express permission of the publisher.

Permission documentation is on file.