In this paper, I introduce an iterative method aimed at exploring numbers within the interval [0, 1]. Beginning with a foundational set, S0, a series of algorithms are employed to expand and refine this set. Each algorithm has its designated role, from incorporating irrational numbers to navigating non-deterministic properties. With each successive iteration, our set grows, and after infinite iterations, its cardinality is proposed to align with that of the real numbers. This work is an initial exploration into this approach, (...) and further investigation is encouraged to understand its full implications and potential. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

The Upanishads reveal that in the beginning, nothing existed: “This was but non-existence in the beginning. That became existence. That became ready to be manifest”. (Chandogya Upanishad 3.15.1) The creation began from this state of non-existence or nonduality, a state comparable to (0). One can add any number of zeros to (0), but there will be nothing except a big (0) because (0) is a neutral number. If we take (0) as Nirguna Brahman (God without any form and attributes), then (...) from where and how did the universe come into existence? -/- The neutral power (0) cannot produce anything without having an element of duality in it. Although Nirguna Brahman is neutral, it has a positive, negative, and neutral pole, constituting its Prakriti or nature. Prakriti has three latent Gunas (modes or qualities): Satva, Rajas, and Tamas. They are related to Gyana Shakti (the power of knowledge) Sankalpa Shakti (the power of ideation), and Kriya Shakti (the power of action). Science says that Atom is the basic element from which the universe evolved. The Atom has three nuclei- electron, pluton, and neutron. The Satva, Rajas, and Tamas in Indian spirituality are nothing but the mystical names for the nuclei of an atom. -/- According to Bhagavata Purana, Prakriti is also constituted of the elements of Time, Karma (action/destiny) and Swabhava (innate nature). Time disturbs the equilibrium of Gunas. From the aspect of Karma is produced an entity called Mahat, in the form of intelligence. Mahat is dominated by Satva and Rajas. From Mahat manifests the next evolute dominated by Tamas with three predominant qualities – Dravya (substance), Kriya (action), as well as intelligence. It forms to become the Ego principle (Ahamkara). -/- Ahamkara has three modes – Satvic, Rajasic and Tamasic. Satvic is Jnana oriented, Rajasic action-oriented and Tamasic Dravya (substance) oriented. From the Tamasic Ahankara, five gross elements are produced (ether, air, fire, water, and earth - Akash, Vayu, Agni, Jal and Prithvi). From the Satvic Ahamkara, guardian deities (the sun and moon, deities of sense organs, and organs of action) and from Rajasic Ahamkara, ten senses (Indriyas), five senses of perception, five organs of action, the faculties of intellect and Prana (life breath) are produced. -/- Bhagavata says that since these energies, elements, and faculties remained disassociated, they were combined to form a Cosmic Egg. The egg floats in the primal waters for a thousand years. Then God enters this Cosmic Egg and manifests himself as the Cosmic Purusha. He is the first nucleus, the God particle equivalent to the number (1) which is the embodiment of everything in the universe. The concept of creation and dissolution in Hinduism can be compared to the waves in an ocean that appear and disappear incessantly. The Manvantaras are such successive episodes of creation emerging from the Cosmic Person, the Manu who is embodied God-Consciousness, God himself. These episodes of creation are measured in Hinduism in terms of Manvantaras, the epochs of Manus. -/- Manu is the ‘First-Born’ (1) of God, the Cosmic Purusha from whom the world has originated. This Cosmic Person (Purusha) has been described as having fourteen biospheres (heavens) that are inhabited by various life forms in the order of evolution of consciousness. If we begin from the human biosphere (Bhuloka), there are ten astral biospheres that a man must transcend to attain liberation or Mukti from the cycle of births and deaths. -/- The number (1) produces the primary numbers up to (9) through the transmutation of the creational energies and qualities. The process can be related to the descent and cyclical evolution of (1) through ten spiritual stages, finally merging with the nondual (0). The number (10) marks the merger of (1) with (0). The Hindu worldview is that all life forms in an episode of creation must evolve to become one with the non-dual state (0) to attain liberation from the cycle of births and deaths in a cyclical process. -/- . (shrink)

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

Post colonialism is often understood to be a period of time after colonialism and post-colonial literature is usually characterized by its opposition to the colonial discourse. However, any literature that expresses an opposition to colonialism, even if it is written during a colonial period, may be defined as postcolonial literature, primarily due to its oppositional nature. From this point of view, novels like ‘Kankabati’, ‘Nildarpan’, ‘Bolmik’, ‘Tabubihanga’, ‘Aranyer Adhikar’, ‘Droupadi’, ‘Akasher Niche Manus’, and Mohakaler Rather Ghora’ have been discussed (...) in this paper. The paper also highlights that the so-called renaissance and modernity in Bengali Literature took place under the imposed structure of an English modernity. Perceived in this light, a new dimension of Bengali novels could be found, where the plights of marginalized sections are being highlighted. The paper is analytical in nature construed with the help of Primary and Secondary data. (shrink)

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out (...) that the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics. (shrink)

For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that Ti∈ range(ℋ) iff Ti = ℋ(T). As a corollary, no fragment of HA extending iΠ1 belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of (...) H by different methods. We provide more examples of theories not in the range of ℋ. We show PA-normality of once-branching Kripke models of HA + MP, where it is not known whether the same holds if MP is dropped. (shrink)