Forcing with Non-wellfounded Models

Authors

  • Paul Corazza Department of Computer Science, Maharishi University of Management

DOI:

https://doi.org/10.26686/ajl.v5i0.1784

Abstract

We develop the machinery for performing forcing over an arbitrary (possibly non-wellfounded) model of set theory. For consistency results, this machinery is unnecessary since such results can always be legitimately obtained by assuming that the ground model is (countable) transitive. However, for establishing properties of a given (possibly non-wellfounded) model, the fully developed machinery of forcing as a means to produce new related models can be useful. We develop forcing through iterated forcing, paralleling the standard steps of presentation found in [19] and [14].

Downloads

Download data is not yet available.

Author Biography

Paul Corazza, Department of Computer Science, Maharishi University of Management

Downloads

Published

2007-11-30