scholarly journals A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY

2018 ◽  
Vol 24 (1) ◽  
pp. 90-106
Author(s):  
ERIK PALMGREN
Keyword(s):  
Mathematical Analysis ◽  
Type Theory ◽  
Infinite Sequence ◽  
Alternative Solution ◽  
Constructive Logic ◽  
Real Numbers ◽  
Special Cases ◽  
Type Hierarchy

AbstractIn this article we examine the natural interpretation of a ramified type hierarchy into Martin-Löf type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of Russell’s reducibility axiom are valid, namely functional reducibility. This is sufficient to make the type hierarchy usable for development of constructive mathematical analysis in the style of Bishop. We present a ramified type theory suitable for this purpose. One may regard the results of this article as an alternative solution to the problem of the proliferation of levels of real numbers in Russell’s theory, which avoids impredicativity, but instead imposes constructive logic. The intuitionistic ramified type theory introduced here also suggests that there is a natural associated notion of predicative elementary topos.

On calculating extinction probabilities for branching processes in random environments

1969 ◽  
Vol 6 (03) ◽  
pp. 478-492 ◽  
Author(s):  
William E. Wilkinson
Keyword(s):  
Generating Functions ◽  
Infinite Sequence ◽  
Branching Processes ◽  
Transition Probability ◽  
Transition Probability Matrix ◽  
Random Environments ◽  
Real Numbers ◽  
Discrete Time Markov Chain ◽  
Extinction Probabilities ◽  
Image Position

Consider a discrete time Markov chain {Zn } whose state space is the non-negative integers and whose transition probability matrix ║Pij ║ possesses the representation where {Pr }, r = 1,2,…, is a finite or denumerably infinite sequence of non-negative real numbers satisfying , and , is a corresponding sequence of probability generating functions. It is assumed that Z 0 = k, a finite positive integer.

scholarly journals Fractional Ostrowski type inequalities for differentiable harmonically convex functions

2021 ◽  
Vol 7 (3) ◽  
pp. 3939-3958
Author(s):  
Thanin Sitthiwirattham ◽  
◽  
Muhammad Aamir Ali ◽  
Hüseyin Budak ◽  
Sotiris K. Ntouyas ◽  
...  
Keyword(s):  
Convex Functions ◽  
Fractional Integrals ◽  
Real Numbers ◽  
Special Means ◽  
Special Cases ◽  
Harmonically Convex Functions ◽  
New Inequalities

<abstract><p>In this paper, we prove some new Ostrowski type inequalities for differentiable harmonically convex functions using generalized fractional integrals. Since we are using generalized fractional integrals to establish these inequalities, therefore we obtain some new inequalities of Ostrowski type for Riemann-Liouville fractional integrals and $ k $-Riemann-Liouville fractional integrals in special cases. Finally, we give some applications to special means of real numbers for newly established inequalities.</p></abstract>

Some new fractional integral inequalities for generalized relative semi-m-(r; h1, h2)-preinvex mappings via generalized Mittag-Leffler function

2019 ◽  
Vol 26 (1/2) ◽  
pp. 41-55 ◽  
Author(s):  
Artion Kashuri ◽  
Rozana Liko
Keyword(s):  
Fractional Integral ◽  
Integral Inequalities ◽  
Fractional Integrals ◽  
Auxiliary Result ◽  
Real Numbers ◽  
Positive Real ◽  
Invex Set ◽  
Special Means ◽  
Special Cases ◽  
Differentiable Mappings

The authors discover a new identity concerning differentiable mappings defined on m-invex set via fractional integrals. By using the obtained identity as an auxiliary result, some fractional integral inequalities for generalized relative semi- m-(r;h1,h2)-preinvex mappings by involving generalized Mittag-Leffler function are presented. It is pointed out that some new special cases can be deduced from main results of the paper. Also these inequalities have some connections with known integral inequalities. At the end, some applications to special means for different positive real numbers are provided as well.

Compressibility Effects in High Speed Air Flow

1931 ◽  
Vol 35 (247) ◽  
pp. 665-674
Author(s):  
S. G. Hooker
Keyword(s):  
Angular Velocity ◽  
Perfect Fluid ◽  
Mathematical Analysis ◽  
High Speed ◽  
Equations Of Motion ◽  
Centre Of Gravity ◽  
High Speeds ◽  
Real Fluid ◽  
Special Cases ◽  
Compressibility Effects

Any theoretical attempt to evaluate the forces and couples experienced by an aircraft when in flight by a mathematical analysis of the pressures exerted by the air when in motion about the various parts, leads to what have, so far, proved insuperable difficulties. It involves the integration of the equations of motion of a real fluid, and, except in a few very special cases, these have been insoluble. The actual motion of a fluid is affected by a number of its properties, and, in general, accounts would have to be taken of its density, viscosity, and at high speeds its compressibility. In certain circumstances the effect of these last two can be neglected and the classical theory of hydrodynamics dealing with the motion of a non-viscous, incompressible or perfect fluid can be applied. A further simplification consists in supposing that the motion is irrotational, that is, any small portion of the fluid at a point has no angular velocity about its centre of gravity.

scholarly journals Solvability and Stability of Impulsive Set Dynamic Equations on Time Scales

2014 ◽  
Vol 2014 ◽  
pp. 1-19 ◽  
Author(s):  
Shihuang Hong ◽  
Jing Gao ◽  
Yingzi Peng
Keyword(s):  
Differential Equations ◽  
Time Scales ◽  
Difference Equations ◽  
Time Scale ◽  
Dynamic Equations ◽  
Stability Of Solutions ◽  
Real Numbers ◽  
Generalized Derivative ◽  
Special Cases ◽  
Existence And Stability

A class of new nonlinear impulsive set dynamic equations is considered based on a new generalized derivative of set-valued functions developed on time scales in this paper. Some novel criteria are established for the existence and stability of solutions of such model. The approaches generalize and incorporate as special cases many known results for set (or fuzzy) differential equations and difference equations when the time scale is the set of the real numbers or the integers, respectively. Finally, some examples show the applicability of our results.

On the global attractivity and the solution of recursive sequence

2010 ◽  
Vol 47 (3) ◽  
pp. 401-418 ◽  
Author(s):  
Elsayed Elsayed
Keyword(s):  
Difference Equation ◽  
Global Attractivity ◽  
Initial Conditions ◽  
Real Numbers ◽  
Positive Real ◽  
Special Cases ◽  
Recursive Sequence ◽  
The Difference

In this paper we study the behavior of the difference equation \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$x_{n + 1} = ax_{n - 2} + \frac{{bx_n x_{n - 2} }}{{cx_n + dx_{n - 3} }},n = 0,1,...$$ \end{document} where the initial conditions x−3 , x−2 , x−1 , x0 are arbitrary positive real numbers and a, b, c, d are positive constants. Also, we give the solution of some special cases of this equation.

scholarly journals Hermite-Hadamard like inequalities for fractional integral operator via convexity and quasi-convexity with their applications

2021 ◽  
Vol 7 (3) ◽  
pp. 3418-3439
Author(s):  
Jamshed Nasir ◽  
◽  
Shahid Qaisar ◽  
Saad Ihsan Butt ◽  
Hassen Aydi ◽  
...  
Keyword(s):  
Integral Operator ◽  
Fractional Integral ◽  
Bessel Functions ◽  
Fractional Operator ◽  
Real Numbers ◽  
Hadamard Inequality ◽  
Special Means ◽  
Special Cases ◽  
Derivatives Of ◽  
Quasi Convexity

<abstract><p>Since the supposed Hermite-Hadamard inequality for a convex function was discussed, its expansions, refinements, and variations, which are called Hermite-Hadamard type inequalities, have been widely explored. The main objective of this article is to acquire new Hermite-Hadamard type inequalities employing the Riemann-Liouville fractional operator for functions whose third derivatives of absolute values are convex and quasi-convex in nature. Some special cases of the newly presented results are discussed as well. As applications, several estimates concerning Bessel functions and special means of real numbers are illustrated.</p></abstract>

scholarly journals Chebyshev Type Inequalities for the Riemann-Liouville Variable-Order Fractional Integral Operator

2021 ◽  
Author(s):  
Dagnachew Jenber ◽  
Mollalign Haile ◽  
Adamu Gizachew
Keyword(s):  
Integral Operator ◽  
Current Literature ◽  
Fractional Integral ◽  
Fractional Integral Operator ◽  
Variable Order ◽  
Real Numbers ◽  
Special Cases

This paper presents Chebyshev Type inequalities for the Riemann-Liouville variable-order fractional integral operator using two synchronous functions on the set of real numbers. It is the first result of its kind in the current literature using variable-order Riemann-Liouville fractional integral operator. Some special cases for the result obtained in the paper are discussed.

Almost Automorphic Integrals of Almost Automorphic Functions

1972 ◽  
Vol 15 (3) ◽  
pp. 433-436 ◽  
Author(s):  
M. Zaki
Keyword(s):  
Infinite Sequence ◽  
Real Variable ◽  
List Type ◽  
Real Numbers ◽  
Almost Automorphic ◽  
Almost Automorphic Functions ◽  
Automorphic Functions ◽  
Automorphic Integrals

Bochner has introduced the idea of almost automorphy in various contexts (see for example [1] and [2]). We shall use the following definition:A measurable real valued function f of a real variable will be called almost automorphic if from every given infinite sequence of real numbers we can extract a subsequence {αn} such that(i) exits for every real t but no kind of uniformity of convergence is stipulated;(ii) exits for every t;(iii) for every t.

scholarly journals Solution and Attractivity for a Rational Recursive Sequence

2011 ◽  
Vol 2011 ◽  
pp. 1-17 ◽  
Author(s):  
E. M. Elsayed
Keyword(s):  
Difference Equation ◽  
Initial Conditions ◽  
Specific Form ◽  
Nonlinear Difference Equation ◽  
Real Numbers ◽  
Positive Real ◽  
Special Cases ◽  
Recursive Sequence

This paper is concerned with the behavior of solution of the nonlinear difference equation , where the initial conditions , , are arbitrary positive real numbers and are positive constants. Also, we give specific form of the solution of four special cases of this equation.

Sign in / Sign up

Export Citation Format

Share Document