Sentence examples for the intended model from inspiring English sources

The sequence of sets s obtained will be an element of the intended model and have the intended extension.

In this way we form the intended model of L′, the piece of the world that it is intended to be about.

"The intended model is that you don't stare at them," Mr. Sipher said.

But Sloman does not have good arguments for his basic theses: that the Gödel sentence does not mean what it is commonly taken to mean, and that we can't say that it is true in the intended model.

In particular, we study the evaluation problem, the satisfiability problem, and the equivalence problem for GFODDs under the assumption that the size of the intended model is given with the problem, a restriction that guarantees decidability.

Thus μ is not the intended model M* of ZF.

The same idea can also be expressed by saying that the intended models of the premises the scenarios in which the premises are all true are the "minimal" or "simplest" ones.

In the context of such a drive to complex models, we argue that the importance of best-practice development that includes careful verification and validation is vital to ensure progress is constrained by the appropriate underlying physics and mathematics with a constant attention to identifying conditions under which simpler models suffice for the intended modeling purposes.

So if we are to take Kripke models seriously as an account of truth for modal languages, then we must identify the intended models of those languages.

Thus the appeal to second-order logic appears as the final step in the structuralist project of isolating the intended models of mathematics.

This, then, is another way in which we may be able to isolate the intended models of our principles of arithmetic.