The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “On many-sorted ω-categorical theories”

Polysystem Modelling of Geographical Processes and Phenomena in Nature and Society

A. K. Cherkashin (2009)

Mathematical Modelling of Natural Phenomena

Similarity:

Polysystem methodology elaborated for comprehensive analysis of geographical objects considers them as interrelated systems of different types. Each systematic interpretation of a territorial object is formed as a theory describing this object with a special language used for construction of a certain type of models. This paper proposes new methods to develop geographical models and describes several types of systematic models constructed by these methods.

Intuitive explanations of mathematical ideas

Jerzy Pogonowski (2018)

Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia

Similarity:

This short note is devoted to the role played by intuitive explanations in mathematical education. We provide a few examples of such explanations. They are related to: verbal commentaries, perception, physical models. We recall also some examples of internal explanations, inside mathematics itself.

Incompressibility in Rod and Shell Theories

Stuart S. Antman, Friedemann Schuricht (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

We treat the problem of constructing exact theories of rods and shells for thin incompressible bodies. We employ a systematic method that consists in imposing constraints to reduce the number of degrees of freedom of each cross section to a finite number. We show that it is very difficult to produce theories that exactly preserve the incompressibility and we show that it is impossible to do so for naive theories. In particular, many exact theories have nonlocal effects. ...