Skip to main content
1 of 3

How to characterize properties that behave well with Reflection Principles

I'm interested in Reflection Principles but I can't find any references of works around criteria to classify properties well-behaved relatively to reflection, or at least features that properties must have in order to be reflected.

In a passage by Incurvati L., Conceptions of Set and the Foundations of Mathematics (2020) I read:

[...] equating the hierarchy’s absolute infinity with its not being uniquely characterizable by any property of a certain type K. [...] Little has been said, however, by way of a positive characterization of K. Gödel took the Reflection Principle to hold when K is the class of structural properties, but a full-fledged account of the notion of a structural property remains wanting.

where references to Gödel can be find in Wang H., A logical journey (1996) at pages 283-285, but even there the notion of structural property is left obscure.

I ask for any suggestion and reference around this topic (I am currently studying connections between reflection principles and large cardinal axioms on works of Reinhardt, Koellner, Welch among others).