ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Some fixed point theorems and common fixed point theorem in log-convex structure

Some fixed point theorems and common fixed point theorem in Logarithmic convex structure areproved.

متن کامل

Complete Axioms for Categorical Fixed-Point Operators

We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We prove a general completeness theorem for iteration operators, relying on a new, purely syntactic characterisation of the free iteration theory. We then show how iteration operators arise in axiomatic domain theory. One re...

متن کامل

Some Fixed Point Theorems

Introduction. We wish to summarize here some new asymptotic fixed point theorems. By an asymptotic fixed point theorem we mean roughly a theorem in functional analysis in which the existence of fixed points of a map ƒ is proved with the aid of assumptions on the iterates f of ƒ. Such theorems have proved of use in the theory of ordinary and functional differential equations (see [7], [8], [9] a...

متن کامل

Some results on coupled fixed point and fixed point theory in partially ordered probabilistic like (quasi) Menger spaces

In this paper, we define the concept of probabilistic like Menger (probabilistic like quasi Menger) space (briefly, PLM-space (PLqM-space)). We present some coupled fixed point and fixed point results for certain contraction type maps in partially order PLM-spaces (PLqM- spaces).

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The Journal of Symbolic Logic

سال: 2018

ISSN: 0022-4812,1943-5886

DOI: 10.1017/jsl.2018.12