scholarly journals Ultraproducts and Higher Order Models

2021 ◽  
Author(s):  
◽  
Wilfred Gordon Malcolm

<p>The programme of work for this thesis began with the somewhat genenal intention of parallelling in the context of higher order models the ultraproduct construction and its consequences as developed in the literature for first order models. Something of this was, of course, already available in the ultrapower construction of W.A.J. Luxemburg used in Non Standand Analysis. It may have been considered that such a genenal intention was not likely to yield anything of significance oven and above what was already available from viewing the higher order situation as a 'many sorted' first order one and interpreting the first order theory accordingly. In the event, however, I believe this has proved not to be so. In particular the substructure concepts developed in Chapter II of this thesis together with the various embedding theorems and their applications are not immediately available fnom the first order theory and seem to be of sufficient worth to warrant developing the higher order theory in its own terms. This, anyway, is the basic justification for the approach and content of the thesis.</p>

1996 ◽  
Vol 307 ◽  
pp. 135-165 ◽  
Author(s):  
M. A. Jog ◽  
P. S. Ayyaswamy ◽  
I. M. Cohen

The evaporation and combustion of a single-component fuel droplet which is moving slowly in a hot oxidant atmosphere have been analysed using perturbation methods. Results for the flow field, temperature and species distributions in each phase, inter-facial heat and mass transfer, and the enhancement of the mass burning rate due to the presence of convection have all been developed correct to second order in the translational Reynolds number. This represents an advance over a previous study which analysed the problem to first order in the perturbation parameter. The primary motivation for the development of detailed analytical/numerical solutions correct to second order arises from the need for such a higher-order theory in order to investigate fuel droplet ignition and extinction characteristics in the presence of convective flow. Explanations for such a need, based on order of magnitude arguments, are included in this article. With a moving droplet, the shear at the interface causes circulatory motion inside the droplet. Owing to the large evaporation velocities at the droplet surface that usually accompany drop vaporization and burning, the entire flow field is not in the Stokes regime even for low translational Reynolds numbers. In view of this, the formulation for the continuous phase is developed by imposing slow translatory motion of the droplet as a perturbation to uniform radial flow associated with vigorous evaporation at the surface. Combustion is modelled by the inclusion of a fast chemical reaction in a thin reaction zone represented by the Burke–Schumann flame front. The complete solution for the problem correct to second order is obtained by simultaneously solving a coupled formulation for the dispersed and continuous phases. A noteworthy feature of the higher-order formulation is that both the flow field and transport equations require analysis by coupled singular perturbation procedures. The higher-order theory shows that, for identical conditions, compared with the first-order theory both the flame and the front stagnation point are closer to the surface of the drop, the evaporation is more vigorous, the droplet lifetime is shorter, and the internal vortical motion is asymmetric about the drop equatorial plane. These features are significant for ignition/extinction analyses since the prediction of the location of the point of ignition/extinction will depend upon such details. This article is the first of a two-part study; in the second part, analytical expressions and results obtained here will be incorporated into a detailed investigation of fuel droplet ignition and extinction. In view of the general nature of the formulation considered here, results presented have wider applicability in the general areas of interfacial fluid mechanics and heat/material transport. They are particularly useful in microgravity studies, in atmospheric sciences, in aerosol sciences, and in the prediction of material depletion from spherical particles.


2014 ◽  
Vol 21 (3) ◽  
pp. 401-404
Author(s):  
Dalal A. Maturi ◽  
Antonio J.M. Ferreira ◽  
Ashraf M. Zenkour ◽  
Daoud S. Mashat

AbstractIn this paper, we combine a new higher-order layerwise formulation and collocation with radial basis functions for predicting the static deformations and free vibration behavior of three-layer composite plates. The skins are modeled via a first-order theory, while the core is modeled by a cubic expansion with the thickness coordinate. Through numerical experiments, the numerical accuracy of this strong-form technique for static and vibration problems is discussed.


1984 ◽  
Vol 51 (4) ◽  
pp. 745-752 ◽  
Author(s):  
J. N. Reddy

A higher-order shear deformation theory of laminated composite plates is developed. The theory contains the same dependent unknowns as in the first-order shear deformation theory of Whitney and Pagano [6], but accounts for parabolic distribution of the transverse shear strains through the thickness of the plate. Exact closed-form solutions of symmetric cross-ply laminates are obtained and the results are compared with three-dimensional elasticity solutions and first-order shear deformation theory solutions. The present theory predicts the deflections and stresses more accurately when compared to the first-order theory.


1976 ◽  
Vol 98 (1) ◽  
pp. 133-138 ◽  
Author(s):  
A. Maewal ◽  
T. C. Bache ◽  
G. A. Hegemier

Using a method developed for studying wave propagation problems, a continuum theory is developed for diffusion-type processes in a laminated composite with periodic micro-structure. Construction is based upon an asymptotic scheme in which a typical macrodimension is assumed large compared to a microdimension. The order of truncation of the asymptotic sequence so obtained defines a hierarchy of models. Solutions are given for the lowest-order models and compared with the results from a finite difference code. For most cases the zeroth-order “effective conductivity” theory yields good results. For exceptional problems requiring a higher-order theory, a modified version of the first-order theory is shown to suffice. For many applications these elementary equations may offer an attractive alternative to other means for obtaining solutions.


2001 ◽  
Vol 11 (1) ◽  
pp. 21-45 ◽  
Author(s):  
GILLES DOWEK ◽  
THERESE HARDIN ◽  
CLAUDE KIRCHNER

We give a first-order presentation of higher-order logic based on explicit substitutions. This presentation is intentionally equivalent to the usual presentation of higher-order logic based on λ-calculus, that is, a proposition can be proved without the extensionality axioms in one theory if and only if it can be in the other. We show that the Extended Narrowing and Resolution first-order proof-search method can be applied to this theory. In this way we get a step-by-step simulation of higher-order resolution. Hence, expressing higher-order logic as a first-order theory and applying a first-order proof search method is a relevant alternative to a direct implementation. In particular, the well-studied improvements of proof search for first-order logic could be reused at no cost for higher-order automated deduction. Moreover, as we stay in a first-order setting, extensions, such as equational higher-order resolution, may be easier to handle.


1988 ◽  
Vol 40 (3) ◽  
pp. 545-552 ◽  
Author(s):  
B. Ghosh ◽  
K. P. Das

Using reductive perturbation theory and a planar waveguide geometry, the effects of higher-order nonlinearity and finite boundaries on the propagation of electron plasma and ion-acoustic KdV solitons are investigated by taking into account finite electron and ion temperatures. For an electron plasma wave, the higher-order nonlinearity is found to increase the amplitude of the soliton and slightly decrease the width of the soliton compared with that predicted by the first-order theory. For an ion-acoustic wave the higher-order-nonlinearity and finite-boundary effects give rise to a W-shaped soliton.


1966 ◽  
Vol 31 (2) ◽  
pp. 169-181 ◽  
Author(s):  
Calvin C. Elgot ◽  
Michael O. Rabin

We study certain first and second order theories which are semantically defined as the sets of all sentences true in certain given structures. Let be a structure where A is a non-empty set, λ is an ordinal, and Pα is an n(α)-ary relation or function4 on A. With we associate a language L appropriate for which may be a first or higher order calculus. L has an n(α)-place predicate or function constant P for each α < λ. We shall study three types of languages: (1) first-order calculi with equality; (2) second-order monadic calculi which contain monadic predicate (set) variables ranging over subsets of A; (3) restricted (weak) second-order calculi which contain monadic predicate variables ranging over finite subsets of A.


1973 ◽  
Vol 57 (1) ◽  
pp. 1-25 ◽  
Author(s):  
Noor Afzal

A higher order theory for two-dimensional turbulent boundary-layer flow of a compressible fluid past a plane wall is formulated, for moderately large values of the Reynolds number, by the method of matched asymptotic expansions. The parameters (γ − 1) M2∞and the molecular Prandtl number are assumed to be of order unity. The analysis deals with the set of Reynolds equations of mean motion (which are underdetermined without an additional set of closure hypotheses) and assumes that the non-dimensional fluctuations in velocity, temperature and density are of orderU*, (friction velocity divided by free-stream velocity a t some designation point), while fluctuations in pressure are of orderU2*.The first-order results of the present study lead to asymptotic laws for velocity and temperature distributions which correspond to the law of the wall, logarithmic law and defect law, and also to skin friction and heat-transfer laws. It turns out that the first-order defect law depends upon the gradient of entropy and stagnation enthalpy and the law of the wall is independent of viscous dissipation. The second-order terms of the present work (accounting for mean convection due to turbulent mass flux, viscous dissipation in the inner flow and displacement effects in the outer flow) describe the necessary corrections to first-order terms due to low Reynolds number effects. In the overlap region the second-order results, for the law of the wall and the defect law, show bilogarithmic terms along with logarithmic terms.


2019 ◽  
Author(s):  
Richard Brown ◽  
Hakwan Lau ◽  
Joseph LeDoux

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models, such as first-order local recurrency theory. The criticism that HOT overintellectualizes conscious experience is inaccurate because in reality the theory assumes minimal cognitive functions for consciousness; in this sense it is an intermediate position between GWT and early sensory views, and plausibly accounts for shortcomings of both. Further, compared to other existing theories, HOT can more readily account for complex everyday experiences, such as of emotions and episodic memories, and make HOT potentially useful as a framework for conceptualizing pathological mental states.


Sign in / Sign up

Export Citation Format

Share Document