Results 31 to 40 of about 43,488 (132)

ON SEPARATION AXIOMS IN TOPOLGICAL SPACES

International Journal of Research -GRANTHAALAYAH, 2016
The purpose of this paper is to introduce weak separation axioms via sgp-closed sets in topological spaces and study some of their properties.
Mahesh Bhat, Md.Hanif PAGE
openaire   +3 more sources

Hypersoft separation axioms

Filomat, 2022
In this manuscript, we continue to study the hypersoft topological space (for short, HSTS) by presenting hypersoft (HS) separation axioms, called HS Ti-spaces for i = 0, 1, 2, 3, 4. The notions of HS regular and HS normal spaces are explained in detail.
Baravan Asaad, Sagvan Musa
openaire   +1 more source

ON SEPARATING WHOLENESS AXIOMS

The Journal of Symbolic Logic
Abstract In this paper, we show that $\mathsf {ZFC}+\mathsf {WA}_{n+1}$ implies the consistency of
openaire   +2 more sources

Abstract Data Types in Event-B - An Application of Generic Instantiation [PDF]

, 2012
Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development.
Basin, David, Fürst, Andreas, Hoang, Thai Son, Miyazaki, Kunihiko, Sato, Naoto   +4 more
core  

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

, 2011
We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents.
Alwen Tiu, Carlos Areces and Raffaella Bernardi, Kai Brünnler, Kazimierz Trzesicki, Linda Postniece, Marcos A. Castilho, Luis Fariñas del Cer, Martin Giese, Mehrnoosh Sadrzadeh and Roy Dyckhoff, Nuel Belnap, Rajeev Gore, Rajeev Goré, Rajeev Goré and Alwen Tiu, Ryo Kashima, Sara Negri   +13 more
core   +1 more source

Separation axioms for interval topologies [PDF]

Proceedings of the American Mathematical Society, 1980
In Theorem 1 of this note, results of Kogan [2], Kolibiar [3], Matsushima [4] and Wolk [7] concerning interval topologies are presented under a common point of view, and further characterizations of the T 2 {{\text {T}}_2} axiom are obtained.
openaire   +1 more source

Fragments of Frege's Grundgesetze and G\"odel's Constructible Universe [PDF]

, 2015
Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are ...
Walsh, Sean
core  

The Foundations of Mathematics in the Physical Reality

, 2017
In this article we present an axiomatic definition of sets with individuals and a definition of natural numbers (finite ordinal numbers). We use the axioms pairs, union, regularity and separation of the standard set theory ZF. The equality of sets should
Homan, D. H.
core  

Subjective Expected Utility Theory with “Small Worlds” [PDF]

We model the notion of a "small world" as a context dependent state space embedded into the "grand world". For each situation the decision maker creates a "small world" reflecting the events perceived to be relevant for the act under consideration.
Frank Hansen, Jacob Gyntelberg
core  

Separation Axioms in Diframes

European Journal of Pure and Applied Mathematics, 2018
Ditopological texture spaces are simultaneously generalizations of topological, bitopological and fuzzy topological spaces and diframes are generalizations of ditopological texture spaces. In this paper the authors define and study the separation axioms in diframe setting.
Esra Korkmaz, Rıza Ertürk
openaire   +1 more source