Affordable Access

Publisher Website

Back-and-Forth Inside A Recursively Saturated Model of Arithmetic

Authors
Identifiers
DOI: 10.1016/s0049-237x(09)70516-6
Disciplines
  • Mathematics

Abstract

Publisher Summary From 1973 to 1977, the main tool applicable to the study of countable nonstandard models of arithmetic was the back-and-forth construction.

There are no comments yet on this publication. Be the first to share your thoughts.