Complete theories of abelian groups

Author(s):  
Greg Cherlin
1972 ◽  
Vol 37 (2) ◽  
pp. 335-342 ◽  
Author(s):  
Paul C. Eklof

AbstractWe study the relations between abelian groups B and C that every universal (resp. universal-existential) sentence true in B is also true in C, and give algebraic criteria for these relations to hold. As a consequence we characterize the inductive complete theories of abelian groups and prove that they are exactly the model-complete theories.


2019 ◽  
Author(s):  
Muhammad Ali

This paper proposes a Gadenkan experiment named “Observer’s Dilemma”, to investigate the probabilistic nature of observable phenomena. It has been reasoned that probabilistic nature in, otherwise uniquely deterministic phenomena can be introduced due to lack of information of underlying governing laws. Through theoretical consequences of the experiment, concepts of ‘Absolute Complete’ and ‘Observably Complete” theories have been introduced. Furthermore, nature of reality being ‘absolute’ and ‘observable’ have been discussed along with the possibility of multiple realities being true for observer. In addition, certain aspects of quantum mechanics have been interpreted. It has been argued that quantum mechanics is an ‘observably complete’ theory and its nature is to give probabilistic predictions. Lastly, it has been argued that “Everettian - Many world” interpretation of quantum mechanics is very real and true in the framework of ‘observable nature of reality’, for humans.


Author(s):  
Bodan Arsovski

Abstract Extending a result by Alon, Linial, and Meshulam to abelian groups, we prove that if G is a finite abelian group of exponent m and S is a sequence of elements of G such that any subsequence of S consisting of at least $$|S| - m\ln |G|$$ elements generates G, then S is an additive basis of G . We also prove that the additive span of any l generating sets of G contains a coset of a subgroup of size at least $$|G{|^{1 - c{ \in ^l}}}$$ for certain c=c(m) and $$ \in = \in (m) < 1$$ ; we use the probabilistic method to give sharper values of c(m) and $$ \in (m)$$ in the case when G is a vector space; and we give new proofs of related known results.


Sign in / Sign up

Export Citation Format

Share Document