Displaying similar documents to “Spinor Bose condensate and su ( 1 , 1 ) Richardson model.”

When a first order T has limit models

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.

Locally finite theories with model companion

Paolo Lipparini (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si dà, mediante condizioni per l'amalgamabilità di tre modelli, una caratterizzazione completa delle teorie localmente finite con model-compagno. Si introduce inoltre un concetto intermedio tra quelli di model-compagno e model-completamento.

Locally finite theories with model companion

Paolo Lipparini (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si dà, mediante condizioni per l'amalgamabilità di tre modelli, una caratterizzazione completa delle teorie localmente finite con model-compagno. Si introduce inoltre un concetto intermedio tra quelli di model-compagno e model-completamento.

Strong initial segments of models of IΔ₀

Paola D'Aquino, Julia F. Knight (2007)

Fundamenta Mathematicae

Similarity:

McAloon showed that if 𝓐 is a nonstandard model of IΔ₀, then some initial segment of 𝓐 is a nonstandard model of PA. Sommer and D'Aquino characterized, in terms of the Wainer functions, the elements that can belong to such an initial segment. The characterization used work of Ketonen and Solovay, and Paris. Here we give conditions on a model 𝓐 of IΔ₀ guaranteeing that there is an n-elementary initial segment that is a nonstandard model of PA. We also characterize the elements that...

A Mathematical Model for a Contracting Interstellar Cloud

Meri Lisi, Silvia Totaro (2009)

Bollettino dell'Unione Matematica Italiana

Similarity:

In this paper, we study a one-dimensional mathematical model for a contracting interstellar cloud, with a star inside. Existence and uniqueness of a positive solution are proved by means of the fixed point theorem. A time discretization procedure is given and the case of an expanding interstellar cloud is also considered.