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. ...

Thickness, and a categoric view of type-space functors

Itay Ben-Yaacov (2003)

Fundamenta Mathematicae

Similarity:

We define the class of thick cats (compact abstract theories, which contains in particular semi-Hausdorff, Hausdorff and first order cats), and prove that in this class simplicity behaves as in first order theories. We consider well-known first order notions, such as interpretability or stable dividing/reduct, and propose analogous notions that can be naturally expressed in terms of maps between type-space functors. We prove several desirable properties of the new notions and show the...