predicatively

But whereas the full power set operation is iterated to obtain the cumulative hierarchy, the levels of the constructible hierarchy are defined strictly predicatively, that is by including at the next level only those sets which are first order definable using parameters from the previous level.

Kurt Gödel Kennedy, Juliette 2007

The explanation of “secondary intelligibles” is that man Conceives the realities of things (haqâ'iq al-ashyâ™) in the first place, then qualifies some with others either restrictively or predicatively (hukman taqyîdiyyan aw khabariyyan).

Arabic and Islamic Philosophy of Language and Logic Street, Tony 2008

Also those sets of numbers that can be defined by using quantification over the sets that Weyl regarded as predicatively justified, should be counted as predicatively acceptable, and so on.

Philosophy of Mathematics Horsten, Leon 2007

Feferman, for instance, argues that all the mathematical theories that are essentially used in our currently best scientific theories are predicatively reducible (Feferman 2005).

Philosophy of Mathematics Horsten, Leon 2007

Another possibility is to say that certain of the historical and/or modal predicates possessed by Tibbles and not Tib are essential to being a cat, so that Tib is not (predicatively) a cat Wiggins

Identity Noonan, Harold 2006

An entity occurs as concept when it occurs predicatively, i.e., only as part of the assertion made about the things occurring as term.

Russell's Logical Atomism Klement, Kevin 2005

Russell now held the view that whenever a proposition apparently involves a relation or quality occurring as logical subject, it is capable of being analyzed into a form in which the relation or quality occurs predicatively.

Russell's Logical Atomism Klement, Kevin 2005

Any of the above varieties of the Genitive of Quality may be used predicatively; as, -- tantae mōlis erat Rōmānam condere gentem, _of so great difficulty was it to found the Roman race_.

New Latin Grammar Charles E. Bennett

The Ablative of Quality may also be used predicatively; as, -- est magnā prūdentiā, _he is (a man) of great wisdom_; bonō animā sunt, _they are of good courage_.

New Latin Grammar Charles E. Bennett

The Possessive Genitive is often used predicatively, especially with esse and fierī; as, -- domus est rēgis, _the house is the king's_; stultī est in errōre manēre, _it is (the part) of a fool to remain in error_; dē bellō jūdicium imperātōris est, nōn mīlitum, _the decision concerning war belongs to the general, not to the soldiers_.a. For the difference in force between the Possessive Genitive and the

New Latin Grammar Charles E. Bennett