Fixed point theorems and semantics: A folk tale
type: Item
instance of: scholarly article
title: Fixed point theorems and semantics: A folk tale
zbMATH Open document ID: 0488.68015
DOI: 10.1016/0020-0190(82)90065-5
author: S. Singh
published in: Information Processing Letters
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3768947
zbMATH Keywords: folk theorems
zbMATH Keywords: least fixed point theorems
zbMATH Keywords: fixed point theory of recursion
MaRDI profile type: Publication
full work available at URL: 0020-0190(82)90065-5
OpenAlex ID: W2035688359
cites work: A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems
cites work: Q3917476
cites work: Q3899466
cites work: Q4133082
cites work: Q5532570
cites work: Sur le théorème de Zorn
cites work: Q5565097
cites work: Q4133079
cites work: The origin of ''Zorn's lemma''
cites work: Constructive versions of Tarski's fixed point theorems
cites work: Q3893911
cites work: On monotonous mappings of complete lattices
cites work: On the existence of optimal fixpoints
cites work: Q4186267
cites work: On folk theorems
cites work: Q4168046
cites work: The method of successive approximations for functional equations
cites work: Q3206274
cites work: Q4124327
cites work: The convergence of functions to fixedpoints of recursive definitions
cites work: Chain-complete posets and directed sets with applications
cites work: Q4133080
cites work: Some fixed point theorems of the mappings of partially ordered sets
cites work: Q5573961
cites work: Data Types as Lattices
cites work: Q5636307
cites work: Q5685626
cites work: Non‐Standard Models of Ordinal Arithmetics
cites work: Q3969890
cites work: A lattice-theoretical fixpoint theorem and its applications
description: scientific article; zbMATH DE number 3768947