Related papers: Reflection Principles in ZFU
Large language models have recently demonstrated significant gains in reasoning ability, often attributed to their capacity to generate longer chains of thought and engage in reflective reasoning. However, the contribution of reflections to…
We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside…
In this paper the author compares behaviors of systems which can be described by fractional differential and fractional difference equations using the fractional and fractional difference Caputo Standard $\alpha$-Families of Maps as…
Inspired by Zermelo's quasi-categoricity result characterizing the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$, we investigate when those models are fully categorical, characterized by the addition to $\text{ZFC}_2$…
We develop a theory for describing composite objects in physics. These can be static objects, such as tables, or things that happen in spacetime (such as a region of spacetime with fields on it regarded as being composed of smaller such…
This work is motivated by the problem of finding the limit of the applicability of the first incompleteness theorem ($\sf G1$). A natural question is: can we find a minimal theory for which $\sf G1$ holds? We examine the Turing degree…
In a finite real reflection group, the reflection length of each element is equal to the codimension of its fixed space, and the two coincident functions determine a partial order structure called the absolute order. In complex reflection…
Definitions of fractional derivative of order $\alpha$ ($0 < \alpha \leq 1$) using non-singular kernels have been recently proposed. In this note we show that these definitions cannot be useful in modelling problems with a initial value…
Much of philosophical logic and all of philosophy of language make empirical claims about the vernacular natural language. They presume semantics under which `and' and `or' are related by the dually paired distributive and absorption laws.…
We develop a behavioural theory of reflective sequential algorithms (RSAs), i.e. sequential algorithms that can modify their own behaviour. The theory comprises a set of language-independent postulates defining the class of RSAs, an…
This paper builds a rule for decisionmaking from the physical behavior of single neurons, the well established neural circuitry of mutual inhibition, and the evolutionary principle of natural selection. No axioms are used in the derivation…
In set theory without the Axiom of Choice, we consider Ingleton's axiom which is the counterpart in ultrametric analysis of the Hahn-Banach axiom. We show that in $ZFA$, set theory without the Axiom of Choice weakened to allow "atoms",…
In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)=…
In this article, we demonstrate that the claim made by Xiaoyan Li and Ni Sun \cite{bib 1} regarding the incorrectness of Theorem 7 in the paper \cite{bib 2} is wrong, and show that this Theorem is based on the integral with respect to…
The wave nature of heat flow mechanisms, such as lattice waves is discussed. Tan and Holland's Tangent Law of heat flow refraction is reviewed. A classroom demonstration of heat flow refraction through conductors in series is presented, and…
The $Reflection$ $Calculus$ ($\mathcal{\mathbf{RC}}$) is the fragment of the polymodal logic $\mathcal{\mathbf{GLP}}$ in the language $L^+$ whose formulas are built up from $\top$ and propositional variables using conjunction and diamond…
Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of…
$z$-Scaling of inclusive spectra as a manifestation of self-similarity and fractality of hadron interactions is illustrated. The scaling for negative particle production in $Au+Au$ collisions from BES-I program at RHIC is demonstrated. The…
Sambin et al. (2000) introduced Basic Logic as a uniform framework for various logics. At the same time, they also introduced the principle of reflection as a criterion for being a connective in Basic Logic. In this paper, we make explicit…
The quasi-channeling of positive and negative relativistic particles in a bent crystal is studied using the classical deflection function. It was shown that the potential scattering in a central field of bounded ring-like potentials may…