Vol. 61, No. 2, 1975

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 294: 1
Vol. 293: 1  2
Vol. 292: 1  2
Vol. 291: 1  2
Vol. 290: 1  2
Vol. 289: 1  2
Vol. 288: 1  2
Vol. 287: 1  2
Online Archive
The Journal
Editorial Board
Special Issues
Submission Guidelines
Submission Form
Author Index
To Appear
ISSN: 0030-8730
Transfer theorems for topological structures

Fred Halpern

Vol. 61 (1975), No. 2, 427–440

Transfer theorems are obtained for the following mathematical situations.

𝒜 is a dense substructure of the compact structure X. {𝒜i} is the set of all finitely generated substructures of X. F is a structure of functions from Y to the structure X.

The sentences transferred in the above situations are best described as “almost” positive, variables appearing in a negative subformula are quantified in a prescribed manner.

The main tools of this investigation are the manipulation of classical transfer theorems in the context of commutative diagrams, the ultraproduct construction, and the 𝒟-limit operation of Chang and Keisler’s “Continuous Model Theory.”

Mathematical Subject Classification
Primary: 02H05, 02H05
Received: 20 December 1974
Published: 1 December 1975
Fred Halpern