Inner Model Theory in Outer Models

点击翻译按钮获取中文摘要

The research of the proposed project is within axiomatic set theory. This theory is usually seen as a basis for all of mathematics, since every mathematical concept can be expressed structurally in terms of sets. Much of what mathematicians do concerns infinite sets or collections and it is this notion of 'infinite' that set theorists try to elucidate. Although the world is of finite size, the theoretical effects of the infinity of counting numbers is felt through, eg, modelling of computation by programs and numbers as discovered by Turing: although computers are finite, theorizing about their capabilities is best done in an infinite context. In similar ways we model the finite world by using 'infinite structures' and theories.In set theory much fundamental work was done by Kurt Goedel in showing that certain axioms known as the Axiom of Choice and the property known as Cantor's Continuum Hypothesis (CH - that every set of numbers on the number line is either countable or of the same size as the whole line) were consistent with the universally accepted axiom set. He did this by developing a structure or 'inner model' of those axioms with those desired extra properties. This process of inner model building has come to be seen as fundamental to our understanding of the universe of all sets of mathematical discourse (known as 'V'). Goedel's structure, called 'L', is now widely generalised and strengthened to incorporate more and more potential properties, or stronger axioms, that may hold in V. This program of inner model analysis and building was initiated by Ronald Jensen in the 1970's, who discovered fundamental properties of 'L' (called its 'fine structure'). However Paul Cohen in 1962 showed by a radically new method called 'forcing' that this could not be the whole story: one could build syntactic or 'virtual' models of the axioms in which properties such as the CH failed: such properties we call independent of the axioms.The research being undertaken here is very novel in that it tries to ascertain to what degree the fine structure of inner models can hold in certain of these 'virtual' (which we call 'outer' in the project) models. These outer models are often built assuming strong axioms hold in V, and theorists using the forcing techniques try and preserve these axioms when building them. But is it possible to have such strong axioms with at the same time fine structure of an inner model? Or are they incompatible? This is broadly the question that this project wishes to investigate.Why should we be concerned about this? From the viewpoint of set theorists this is important as the program building inner models has run into difficulties, and model building is (perhaps temporarily) halted. We might ask: are there then mathematical reasons for this? This project can help elucidate fundamental incompatibilities (if any) between fine structure and strong axioms. But the implication of studying such stronger axioms are much wider: for the general mathematical analysts strong axioms affect how they view the real number line, and this is only now starting to be appreciated. Several areas of pure mathematics can be said to be directly affected by set theoretic axiomatics.In the wider perspective an understanding of the nature of 'infinity' and 'set' is of interest both philosophically and for the general human endeavour. We thus think of the beneficiaries of this research as principally set theorists, but more widely, mathematical logicians and philosophers of mathematics who are interested in these questions. Set Theory is very active internationally, with significant research groups in, eg, USA, Israel, Austria, France, Germany. The area has been recognised with a large European Research Grant called INFTY. However,in the UK advanced set theory is somewhat underrepresented, and is concentrated in Bristol and at UEA. This project will thus enhance the UK's standing and expertise in set theory.