Results 221 to 230 of about 84,982 (264)

On reflection principles

open access: yesOn reflection principles
openaire  

Reflection principles in computational logic

Journal of Logic and Computation, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jonas Barklund   +3 more
openaire   +2 more sources

ON THE REFLECTION PRINCIPLE FOR ANALYTIC SETS

Mathematics of the USSR-Izvestiya, 1989
See the review in Zbl 0638.32010.
Pinchuk, S. I., Chirka, E. M.
openaire   +2 more sources

Reflection as a Principle for Better Usability

2007 Australian Software Engineering Conference (ASWEC'07), 2007
This paper explores the principle of reflection, which is well-known from the world of programming languages, and its relation to HCI. We define reflection in a wider sense that can be applied to the world of user interfaces, and argue that the new, generalized notion of reflection can benefit the usability of a system significantly.
Christof Lutteroth, Gerald Weber
openaire   +1 more source

The Principle of Reflection

2020
There is wide agreement in the literature that “reflection” is a critical component of turning experience into learning. Reflection lies at the heart of experience-based learning, and in the absence of reflection, experiences remain experiences, and the full potential for learning will not come to fruition.
openaire   +1 more source

Separating stationary reflection principles

Journal of Symbolic Logic, 2000
AbstractWe present a variety of (ω, ∞)-distributive forcings which when applied to models of Martin's Maximum separate certain well known reflection principles. In particular, we do this for the reflection principles SR, SRα (α ≤ ω1), and SRP.
openaire   +1 more source

Higher order reflection principles

Journal of Symbolic Logic, 1989
In [1] and [2] there is a development of a class theory, whose axioms were formulated by Bernays and based on a reflection principle. See [3]. These axioms are formulated in first order logic with ∈:(A1)Extensionality.(A2)Class specification. Ifϕis a formula andAis not free inϕ, thenNote that “xis a set“ can be written as “∃u(x∈u)”.(A3)Subsets.Note ...
openaire   +2 more sources

The Reflection Principle

1971
Let X be a class and E( x 0,…,x k −1) a formula with all parameters confined to X. We shall say that X mirrors the formula E (or is a mirror for E) if, for arbitrary a0,…, ak−1 in X, E holds if and only if E x also holds. That is, ‘the class X mirrors the formula E’ is none other than $$\forall {x_0}...\forall {x_{k - 1}}\left[ {X\left( {{x_0 ...
openaire   +1 more source

Home - About - Disclaimer - Privacy