Definitions
from Wiktionary, Creative Commons Attribution/ShareAlike License
 adj. Of, relating to or using set theory.
Etymologies
Sorry, no etymologies found.
Examples

Weyl had become increasingly critical of the principles underlying the settheoretic construction of the mathematical continuum.

What about “true”, the epsilon of settheoretic membership, the sign for mereological parthood, the secondorder quantifiers, or the quantifier “there are infinitely many”?

But in fact, there are infinitely many different kinds of settheoretic structures, and platonists can argue that physicalistic views like Maddy's are incompatible with this.

Then he would point out that the original argument paraphrases into a settheoretic consequence:

Also, as Boole himself pointed out, his translation from an English argument to its settheoretic form requires us to believe that for every property used in the argument, there is a corresponding class of all the things that have the property.

But it is a serious hypothesis that in fact our mental representations have a good deal in common with simple settheoretic structures, so that they are ˜models™ in the modeltheoretic sense too.

For example in Boole's case the settheoretic consequences that he relies on are all easily provable by formal proofs in firstorder logic, not even using any settheoretic axioms; and by the completeness theorem (see the entry on classical logic) the same is true for firstorder logic.

Constructive and intuitionistic ZF are based on the same firstorder language as classical ZF set theory, thus taking advantage of the simplicity of the settheoretic language and of our familiarity with it.

First there is a restriction to intuitionistic logic, then a restriction is imposed on the settheoretic constructions allowed.

But in a broader sense, model theory is the study of the interpretation of any language, formal or natural, by means of settheoretic structures, with Alfred Tarski's truth definition as a paradigm.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.