UNIFORM EXTENSION OPERATORS FOR MODELS AND THEIR APPLICATIONS.

Abstract

The notion of an operator which maps in a uniform way every model in its domain to a proper elementary extension, is defined. Applications concerning models with 'many' automorphisms, as well as the structure of models of Peano's arithmetic are proved. (Author)

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1965
Accession Number
AD0631784

Entities

People

  • Haim Gaifman

Organizations

  • Hebrew University of Jerusalem

Tags

DTIC Thesaurus Topics

  • Arithmetic

Fields of Study

  • Mathematics

Readers

  • Computational Modeling and Simulation
  • Graph Algorithms and Convex Optimization.
  • Linear Algebra