We are interested in the question whether the models induced by the infinitary lambda calculus are orderable, that is whether they have a partial order with a least element making the context operators monotone. The first natural candidate is the prefix relation: a prefix of a term is obtained by replacing some subterms by ⊥. We prove that six models induced by the infinitary lambda calculus (w...

Transfinite mean value interpolation has recently emerged as a simple and robust way to interpolate a function f defined on the boundary of a planar domain. In this paper we study basic properties of the interpolant, including sufficient conditions on the boundary of the domain to guarantee interpolation when f is continuous. Then, by deriving the normal derivative of the interpolant and of a m...

arch dams are generally built in cantilvever monoliths. vertical contraction joints between monoliths control the stresses due to concrete shrinkage and temperature variations. past studies in earthquake safety evaluation of the system often show the tensile fracture and local nonlinear deformation of joints. in this paper, some nonlinear joint element constitutive models are presented to exami...

in this paper, pile behavior embedded in layered soil deposits subjected to seismic loadings is analyzed using a nonlinear fiber element for simulation of soil – pile interactions. in the created model, both pile and surrounding soil are modeled using fiber elements in a practical beam on nonlinear winkler foundation (bnwf) concept. herein, the features of drain–3dx finite element software are ...

the complete 3d nonlinear dynamic problem of extensible, flexible risers conveying fluid is considered. for describing the dynamics of the system, the newtonian derivation procedure is followed. the velocity field inside the pipe formulated using hydrostatic and bernoulli equations. the hydrodynamic effects of external fluids are taken into consideration through the nonlinear drag forces in var...

In this short note , using concepts of p-Adic QFT and p-branes, we derive the transfinite M theory generalization of the inverse fine structure constant given by (αM ) −1 = 100 + 61φ . The orginal El Naschie and Selvam-Fadnavis inverse fine structure constant value (αHS) −1 = 100+60φ was based on a transfinite heterotic string theory and a quasiperiodic Penrose tiling formalism, respectively. H...

Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from the set of worlds to the set of ordinals. But in subsequent paper by Spohn and others, OCFs are just used as functions from the set of worlds to natural numbers (plus eventually +∞). The use of transfinite ordinals in this frame...

the nonlinear discrete crack modeling of Shahid Rajaee thin arch dam is considered. The interface elements are positioned such that certain potential separated blocks can form possible failure mechanisms. The dynamic stability of theses blocks are investigated by a special finite element program "MAP-73" which its nonlinear algorithm and interface elements formulation are presented.