Absolutely Free Algebras in a Topos Containing an Infinite Object

1976 ◽  
Vol 19 (3) ◽  
pp. 323-328 ◽  
Author(s):  
D. Schumacher
Keyword(s):  
Finite Sequence ◽  
Global Section ◽  
Free Algebras ◽  
Existence Proof

This note confirms that the existence proof for absolutely free algebras originated by Dedekind in [2] and completely developed for instance in [4] can still be carried out in a topos containing an infinite object i.e. an object N for which N ≃ N+1 if the type of the algebras considered is finite, pointed and internally projective i.e. is a finite sequence of objects, (Ij)i≤j≤k for which the functors ( )Ij preserve epimorphisms and each of which has a global section.

The Existence ProofThe Existence Proof

PsycCRITIQUES ◽  
2015 ◽  
Vol 6060 (3030) ◽  
Author(s):  
Harry Whitaker ◽  
Emily DePetro
Keyword(s):  
Existence Proof

Theory of models with generalized atomic formulas

1960 ◽  
Vol 25 (1) ◽  
pp. 1-26 ◽  
Author(s):  
H. Jerome Keisler
Keyword(s):  
Natural Number ◽  
Finite Sequence ◽  
Sufficient Condition ◽  
Elementary Extension ◽  
Necessary And Sufficient Condition ◽  
Elementary Class ◽  
Relational Systems ◽  
Necessary And Sufficient

IntroductionWe shall prove the following theorem, which gives a necessary and sufficient condition for an elementary class to be characterized by a set of sentences having a prescribed number of alternations of quantifiers. A finite sequence of relational systems is said to be a sandwich of order n if each is an elementary extension of (i ≦ n—2), and each is an extension of (i ≦ n—2). If K is an elementary class, then the statements (i) and (ii) are equivalent for each fixed natural number n.

Model completeness of some metric completions of absolutely free algebras

1981 ◽  
Vol 12 (1) ◽  
pp. 137-144
Author(s):  
Jan Mycielski ◽  
Paul Perlmutter
Keyword(s):  
Free Algebras ◽  
Model Completeness

A note on Spitzer's lemma and its application to the maximum of partial sums of dependent random variables

1976 ◽  
Vol 13 (2) ◽  
pp. 361-364 ◽  
Author(s):  
M. E. Solari ◽  
J. E. A. Dunnage
Keyword(s):  
Infinite Sequence ◽  
Random Variables ◽  
Finite Sequence ◽  
Partial Sums ◽  
Dependent Random Variables ◽  
Finite Segment ◽  
Exchangeable Random Variables ◽  
Partial Sum

We give an expression for the expectation of max (0, S1, …, Sn) where Sk is the kth partial sum of a finite sequence of exchangeable random variables X1, …, Xn. When the Xk are also independent, the formula we give has already been obtained by Spitzer; and when the sequence is a finite segment of an infinite sequence of exchangeable random variables, it is a consequence of a theorem of Hewitt.

Sign in / Sign up

Export Citation Format

Share Document