These are clearly two different things, and as BRT focuses on building predictive models for theory development, the environmental associations that result can be direct or indirect.
Nevertheless, there has been some work on methods of constructing nonstandard models of type theory and models in which various forms of extensionality fail, models for theories with arbitrary (possibly incomplete) sets of logical constants, and on developing general methods of establishing completeness of various systems of axioms with respect to various classes of models.
This point will be returned to later, as the notion of model for type theory is most easily formulated with the help of category theory, although this is not the way Gödel himself proceeded.
Figure 2 6C model for grounded theory.
Furthermore, this method assessed the appropriateness of the empirical model for the theory post hoc.
Others have argued that the intended model for set theory needs to be transitive and that, once again, there's no reason to believe that the model produced by Putnam's theorem is transitive (Bays 2001).
All economic actors do not have to behave in exactly the same way, but disturbing causes would balance and therefore the 'representative individual' may be an appropriate model for the Theory.
Finally, and as mentioned in the last paragraph, several authors have suggested that an intended model for set theory should at least be well-founded, but there's no reason to think that Putnam's own model is well-founded (Bellotti 2005).
He argued vociferously against the idea associated with John Burnet, which still had currency at the time, that the basic model for the theory of forms originated with Socrates.
Following the general framework for narrative synthesis [ 11], an outline logic model for the theory behind both the traditional and PIC appointment systems is illustrated in Additional file 1: Figure S1 (online).
