The paper investigates the strength of the anti-foundation axiom on the basis of various systems of constructive set theories. 1. Introduction Intrinsically circular phenomena have come to the attention of researchers in diiering elds such as mathematical logic, computer science , artiicial intelligence, linguistics, cognitive science, and philosophy. Logicians rst explored set theories whose u...

  ABSTRACT: A prismatic beam made of a behaviorally nonlinear material situated on nonlinear elastic foundation is analyzed under a moving harmonic load moving with a known velocity. The vibration equation of motion    is derived using Hamilton principle and Euler Lagrange equation. The amplitude of vibration, circular frequency, bending moment, stress and deflection of the beam can be calculat...

the pile-raft foundation is a combination of a raft foundation with piles. pile-raft foundation has been widely designed, assuming all structure loads to be transferred to piles without considering contribution of the load taken by contact surface between raft and soil. methods of analysis currently used in practice are based upon relatively conservative assumptions of soil behavior or on the l...

Let Lθ be the circular cone in IR which includes second-order cone as a special case. For any function f from IR to IR, one can define a corresponding vector-valued function fLθ on IR by applying f to the spectral values of the spectral decomposition of x ∈ IR with respect to Lθ. The main results of this paper are regarding the Hdifferentiability and calmness of circular cone function fLθ . Spe...