Fragments of complete extensions of PA and McDowell-Specker's theorem.
Farah, Ilijas (1992)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Farah, Ilijas (1992)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Miroslav Benda (1974)
Fundamenta Mathematicae
Similarity:
G. Cherlin (1979)
Fundamenta Mathematicae
Similarity:
Žarko Mijajlović (1977)
Zbornik Radova
Similarity:
Milan Grulović (2001)
Publications de l'Institut Mathématique
Similarity:
Silvia Barbina, Domenico Zambella (2010)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We give a self-contained introduction to universal homogeneous models (also known as rich models) in a general context where the notion of morphism is taken as primitive. We produce an example of an amalgamation class where each connected component has a saturated rich model but the theory of the rich models is not model-complete.
Felipe Cucker, Cristián Huepe (2008)
MathematicS In Action
Similarity:
Two similar Laplacian-based models for swarms with informed agents are proposed and analyzed analytically and numerically. In these models, each individual adjusts its velocity to match that of its neighbors and some individuals are given a preferred heading direction towards which they accelerate if there is no local velocity consensus. The convergence to a collective group swarming state with constant velocity is analytically proven for a range of parameters and initial conditions....
Presic, Marica D., Presic, Slavisa B. (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Saharon Shelah (2012)
Colloquium Mathematicae
Similarity:
We sort out to a large extent when a (first order complete theory) T has a superlimit model in a cardinal λ. Also we deal with related notions of being limit.
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity: