Sentence examples for stronger theory from inspiring English sources

In a 1961 paper, Andrzej Mostowski described a way of going one step further, toward a stronger theory still.

To establish the independence of PM from ZFC we need to assume the consistency of a stronger theory, namely, that of ZFC + "There is a strongly inaccessible cardinal".

We can obtain a stronger theory by restricting attention to the models of analysis that differ from the usual model in only the second of the two ways described previously.

A stronger theory with classes, but still essentially a version of standard set theory, is the Kelley-Morse set theory in which Class Comprehension is strengthened to allow quantification over all classes in the formulas defining classes.

We label this stronger theory EM, for Extensional Mereology, the attribute 'extensional' being justified precisely by the exclusion of countermodels that, like the one in Figure 4, contain distinct objects with the same proper parts.

For example, Bezboruah and Sheperdson proved (1976) the second incompleteness theorem for Q (essentially induction free arithmetic), and Wilkie & Paris proved (1987) that even the much stronger theory IΔ0 + exp does not prove its standard formulation of Q's consistency.

Scientists know that the door is always open for new evidence and stronger theories.

However, a stronger theory-based rationale for using podcasts, particularly as a means of facilitating assessment guidance and feedback, is required.

Moving now to stronger theories beyond PA, one can mention, for example, Kruskal's Theorem.

Of course, we can also investigate theories which result by adding the truth-theoretic axioms to much stronger theories like set theory.

Then we proceed to an examination of the stronger theories that can be erected on that basis.