Transfer theorems for \(\pi\)-monads (Q1262311): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3742397 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A general theory of superinfinitesimals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonstandard Measure Theory and its Applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3708229 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3807204 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3804706 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Superinfinitesimals in Topology and Functional Analysis / rank | |||
Normal rank |
Latest revision as of 11:33, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Transfer theorems for \(\pi\)-monads |
scientific article |
Statements
Transfer theorems for \(\pi\)-monads (English)
0 references
1989
0 references
The purpose of this paper is to give a brief introduction to the Bennighofen-Richter theory of \(\pi\)-monads [\textit{B. Benninghofen} and \textit{M. M. Richter}, Fundam. Math. 128, 199-215 (1987; Zbl 0633.03067)] and to present a simple version of some transfer principles for \(\pi\)- monads. Let V(S) be a superstructure, \(A\in V(S)\) and \(U\subset P(A)\). The set \(\mu =\cap^*_{w\in U}W\) is called a monad on \({}^*A\) generated by the set U. A theorem is proved which shows how new monads may be obtained from given ones by means of increasing set functions. Let \((\mu_ i)_{i\in I}\) be a family of monads on the sets \((^*A_ i)_{i\in I}\) given by filters (\({\mathcal F}_ i)_{i\in I}\). Let \({\mathcal F}=\prod_{i\in I}{\mathcal F}_ i\). For \(j\in^*I\) the set \(\pi_{\mu_ j}=\cap^*_{F\in {\mathcal F}}F_ j\) is called a \(\pi\)-monad. The author proves the following ``monotone transfer theorem''. Let \((\mu_ i)_{i\in I}\) be a family of monads on the sets \((^*A_ i)_{i\in I}\); suppose that \(\phi\) (x,y) is a formula and \((B_ i)_{i\in I}\) is a standard family such that \(\phi (x,{\mathbb{B}}_ i)_{i\in I}\) is monotone (here a boldface variable denotes a finite sequence of variables). Then the following are equivalent: (a) \(\phi (\mu_ i,^*{\mathbb{B}}_ i)\) for all \(i\in I\), (b) \(\phi (\pi_{\mu_ j},^*{\mathbb{B}}_ j)\) for all \(j\in^*I\).
0 references
superinfinitesimals
0 references
\(\pi\)-monads
0 references
transfer principles
0 references