In this chapter, we define both ideal and iterative theories. The main definitions are in Sections 1 and 2. Section 3 has a more technical nature, and most details may be omitted at first reading. However, the results of Section 3 will be applied in later sections.
KeywordsIdeal Theory Normal Description Iteration Equation Pairing Identity Permutation Identity
Unable to display preview. Download preview PDF.