Set Theory Commons^™

Sigma_N-Correct Forcing Axioms, Benjamin P. Goodman

Dissertations, Theses, and Capstone Projects

I introduce a new family of axioms extending ZFC set theory, the Sigma_n-correct forcing axioms. These assert roughly that whenever a forcing name a' can be forced by a poset in some forcing class Gamma to have some Sigma_n property phi which is provably preserved by all further forcing in Gamma, then a' reflects to some small name such that there is already in V a filter which interprets that small name so that phi holds. Sigma_1-correct forcing axioms turn out to be equivalent to classical forcing axioms, while Sigma_2-correct forcing axioms for Sigma_2-definable forcing classes are consistent relative to …

Largeness And Accessibility Of Sparse Sets, Oscar Quester

Honors Program Theses and Projects

One of the main goals in the study of Ramsey Theory is to find “order” in seemingly “random” structures. For example, Van der Waerden’s Theorem tells us that given any r-coloring of the positive integers, there will exist arbitrarily long monochromatic arithmetic progressions. The theorem places no requirement on the gap (common difference), d, of the arithmetic progression – it can be any natural number. With this in mind, we ask if we are still guaranteed arbitrarily long monochromatic arithmetic progressions when we restrict the possible values of d to some subset D ⊆ N. We also ask a similar …

Fundamental Computational Problems And Algorithms For Superhypergraphs, Takaaki Fujita, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Hypergraphs extend traditional graphs by allowing edges (known as hyperedges) to connect more than two vertices, rather than just pairs. This paper explores fundamental problems and algorithms in the context of SuperHypergraphs, an advanced extension of hypergraphs enabling modeling of hierarchical and complex relationships. Topics covered include constructing SuperHyperGraphs, recognizing SuperHyperTrees, and computing SuperHyperTree-width. We address a range of optimization problems, such as the SuperHy-pergraph Partition Problem, Reachability, Minimum Spanning SuperHypertree, and Single-Source Shortest Path. Furthermore, adaptations of classical problems like the Traveling Salesman Problem, Chinese Postman Problem, and Longest Simple Path Problem are presented in the SuperHypergraph framework.

Survey Of Planar And Outerplanar Graphs In Fuzzy And Neutrosophic Graphs, Takaaki Fujita, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

As many readers may know, graph theory is a fundamental branch of mathematics that explores networks made up of nodes and edges, focusing on their paths, structures, and properties [196]. A planar graph is one that can be drawn on a plane without any edges intersecting, ensuring planarity. Outerplanar graphs, a subset of planar graphs, have all their vertices located on the boundary of the outer face in their planar embedding. In recent years, outerplanar graphs have been formally defined within the context of fuzzy graphs. To capture uncertain parameters and concepts, various graphs such as fuzzy, neutrosophic, Turiyam, and …

New Trends In Neutrosophic Theories And Applications, Volume Iii, Florentin Smarandache, Surapati Pramanik

Branch Mathematics and Statistics Faculty and Staff Publications

The field of neutrosophic set theory and its applications has been rapidly expanding, particularly since the introduction of the journal "Neutrosophic Sets and Systems." New theories, techniques, and algorithms are being developed at a very high rate. One of the most notable trends in neutrosophic theory is its hybridization with other set theories such as rough set theory, bipolar set theory, soft set theory, hesitant fuzzy set theory, and more. Various hybrid structures like rough neutrosophic sets, neutrosophic soft set, single valued neutrosophic hesitant fuzzy sets, among others, have been proposed in a short period. Neutrosophic sets have proven to …

The Cardinal Of The M-Powerset Of A Set Of N Elements Used In The Superhyperstructures And Neutrosophic Superhyperstructures, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we find a formula for computing the cardinal of the m-th powerset of a set of n elements, which is needed in the SuperHyperStructures.

Associated A Nexus With A Treesoft Sets And Vice Versa, Akbar Rezae, Karim Ghadimi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

We recall the definitions of a nexus and a TreeSoft Set, and investigate the relation between them. We associated a nexus with a TreeSoft Set induced by a tree graph and vice versa.

A Comprehensive Study On Decision-Making Algorithms In Retail And Project Management Using Double Framed Hypersoft Sets, Ajoy Kanti Das, Florentin Smarandache, Rakhal Das, Suman Das

Branch Mathematics and Statistics Faculty and Staff Publications

In today's dynamic business environment, effective decision-making plays a crucial role in the success of retail businesses and project management endeavors. This paper presents a comprehensive study of decision-making algorithms, focusing on the utilization of Double Framed Hypersoft Sets (DFHS) in retail and project management contexts. The study explores the theoretical foundations of DFHS and its practical applications in customer segmentation, personalized marketing, project selection, and resource allocation. Various algorithms and methodologies incorporating DFHS are discussed and analyzed, highlighting their advantages, limitations, and real-world implications. Through a series of numerical examples, case studies, and comparative analyses, this study provides valuable …

Super Hiper Funcion Y Super Hiper Estructura Y Sus Correspondientes Super Hiper Funcion Neutrosofica Y Super Hiper Estructura Neutrosofica, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

El n-ésimo Conjunto Potencia de un Conjunto {o Pn(S)} describe mejor nuestro mundo real, porque un sistema S (que puede ser una empresa, institución, asociación, país, sociedad, conjunto de objetos/plantas/animales/seres, conjunto de conceptos/ideas/proposiciones, etc.) está formado por subsistemas, que a su vez están formados por sub-subsistemas, y así sucesivamente. Demostramos que la Super Hiper Función es una generalización de la Función clásica, Super Función y la Hiper Función. Y el Super Hiper Álgebra, Super Hiper Gráfico son parte de la Super Hiper Estructura. Casi todas las estructuras en nuestro mundo real son Super Hiper Estructuras Neutrosóficas ya que tienen …

Nuevos Tipos De Conjuntos Suaves: Conjunto Hiper Suave, Conjunto Suave Indeterminado, Conjunto Hiper Suave Indeterminado Y Conjunto Suave De Árbol, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This is an updated article, where we present the definitions and practical applications of the Soft Set and its extensions to the Hyper Soft Set, Indeterminate Soft Set, Indeterminate Hyper Soft Set, and Tree Soft Set.

An Entropy Measure For N-Cylindrical Fuzzy Neutrosophic Sets, Sarannya Kumari R., Sunny Joseph Kalayathankal, Mathews M. George, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

n-Cylindrical fuzzy neutrosophic set (n-CyFNS) is a new variant of fuzzy neutrosophic sets. In this paper our aim is to introduce an entropy measure for n-CyFNS. Here we explained its properties along with examples. Two real life applications, one on better way of shopping and the second on teacher evaluation, based on this proposed entropy measure are also illustrated.

Q-Rung Neutrosophic Sets And Topological Spaces, Michael Gr. Voskoglou, Florentin Smarandache, Mona Mohamed

Branch Mathematics and Statistics Faculty and Staff Publications

The concept of q-rung orthopair neutrosophic set is introduced in this paper and fundamental properties of it are studied. Also the ordinary notion of topological space is extended to q-rung orthopair neutrosophic environment, as well as the fundamental concepts of convergence, continuity, compactness and Hausdorff topological space. All these generalizations are illustrated by suitable examples.

Assuming Photon As Extended Point Particle In The Hypersoft Topological Space And Other Hypotheses: Issues And Trend Analysis, Victor Christianto, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Following our preceding article, where we discussed alternative interpretations of the advanced perihelion of Mercury, the present article revisits the 1919 solar eclipse expedition led by Arthur Eddington, which famously provided the first observational confirmation of Einstein's theory of general relativity. We focus on the deflection of starlight data obtained during the eclipse, a cornerstone of this validation. Here, we explore three alternative explanations for the observed light bending that challenge the sole attribution to general relativity. Firstly, the paper begins by arguing based on criticisms raised by Tullio Levi-Civita, a contemporary mathematician, regarding Einstein's use of pseudo-tensors in his …

Breve Introducción A Los Conjuntos Y A La Lógica Neutrosófica Estándar Y No Estándar, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Se recuerdan las definiciones de Conjunto Neutrosófico de Valor Único (SVNS), Conjunto Neutrosófico de Valor Intervalo (IVNS), Conjunto Neutrosófico de Valor Subconjunto (SVNS) y, respectivamente, Conjunto Neutrosófico No Estándar [Con Valor Único ( SVNS NoS ), Con Valor Intervalo ( IVNS NoS ) y Con Valor Subconjunto ( SVNS NoS )], junto con sus operadores. De manera similar, para Conjunto Neutrosófico Estándar y No Estándar.

Soft Sets Extensions Used In Bioinformatics, Florentin Smarandache, Daniela Gifu

Branch Mathematics and Statistics Faculty and Staff Publications

This comprehensive review delves into the intricate realm of Soft Sets and their extensions, including HyperSoft Set, IndetermSoft Set, IndetermHyperSoft Set, and TreeSoft Set, within the context of biomedical data analysis. Soft Sets serve as a foundational framework for managing the inherent uncertainty and imprecision inherent in biological data, thereby facilitating informed decision-making and knowledge discovery. The exploration of Soft Set Products, particularly in the context of multiple soft sets, underscores their pivotal role in advancing biomedical research. By extending these concepts to HyperSoft Sets, researchers can unlock deeper insights into complex biological phenomena, enabling more accurate predictions and classification.

Foundations Of Memory Capacity In Models Of Neural Cognition, Chandradeep Chowdhury

Master's Theses

A central problem in neuroscience is to understand how memories are formed as a result of the activities of neurons. Valiant’s neuroidal model attempted to address this question by modeling the brain as a random graph and memories as subgraphs within that graph. However the question of memory capacity within that model has not been explored: how many memories can the brain hold? Valiant introduced the concept of interference between memories as the defining factor for capacity; excessive interference signals the model has reached capacity. Since then, exploration of capacity has been limited, but recent investigations have delved into the …

Reverse Mathematics Of Ramsey's Theorem, Nikolay Maslov

Electronic Theses, Projects, and Dissertations

Reverse mathematics aims to determine which set theoretic axioms are necessary to prove the theorems outside of the set theory. Since the 1970’s, there has been an interest in applying reverse mathematics to study combinatorial principles like Ramsey’s theorem to analyze its strength and relation to other theorems. Ramsey’s theorem for pairs states that for any infinite complete graph with a finite coloring on edges, there is an infinite subset of nodes all of whose edges share one color. In this thesis, we introduce the fundamental terminology and techniques for reverse mathematics, and demonstrate their use in proving Kőnig's lemma …

Minimal Sets, Union-Closed Families, And Frankl's Conjecture, Christopher S. Flippen

Theses and Dissertations

The most common statement of Frankl's conjecture is that for every finite family of sets closed under the union operation, there is some element which belongs to at least half of the sets in the family. Despite its apparent simplicity, Frankl's conjecture has remained open and highly researched since its first mention in 1979. In this paper, we begin by examining the history and previous attempts at solving the conjecture. Using these previous ideas, we introduce the concepts of minimal sets and minimally-generated families, some ideas related to viewing union-closed families as posets, and some constructions of families involving poset-defined …

A Comparison Of Cryptographic Methods, Christopher Gilmore

Senior Honors Theses

While elliptic curve cryptography and quantum cryptography are significantly different branches of cryptography, they provide a suitable reference point for comparison of the value of developing methods used in the present and investing in methods to be used in the future. Elliptic curve cryptography is quite common today, as it is generally secure and efficient. However, as the field of cryptography advances, the value of quantum cryptography’s inherent security from its basic properties should be considered, as a fully realized quantum cryptosystem has the potential to be quite powerful. Ultimately, it is of critical importance to determine the value of …

Unomaha Problem Of The Week (2021-2022 Edition), Brad Horner, Jordan M. Sahs

UNO Student Research and Creative Activity Fair

The University of Omaha math department's Problem of the Week was taken over in Fall 2019 from faculty by the authors. The structure: each semester (Fall and Spring), three problems are given per week for twelve weeks, with each problem worth ten points - mimicking the structure of arguably the most well-regarded university math competition around, the Putnam Competition, with prizes awarded to top-scorers at semester's end. The weekly competition was halted midway through Spring 2020 due to COVID-19, but relaunched again in Fall 2021, with massive changes.

Now there are three difficulty tiers to POW problems, roughly corresponding to …

Unknowable Truths: The Incompleteness Theorems And The Rise Of Modernism, Caroline Tvardy

Honors Scholars Collaborative Projects

This thesis evaluates the function of the current history of mathematics methodologies and explores ways in which historiographical methodologies could be successfully implemented in the field. Traditional approaches to the history of mathematics often lack either an accurate portrayal of the social and cultural influences of the time, or they lack an effective usage of mathematics discussed. This paper applies a holistic methodology in a case study of Kurt Gödel’s influential work in logic during the Interwar period and the parallel rise of intellectual modernism. In doing so, the proofs for Gödel’s Completeness and Incompleteness theorems will be discussed as …

Nidus Idearum. Scilogs, X: Via Neutrosophica, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this tenth book of scilogs – called via neutrosophica (the neutrosophic way) –, one may find new and old questions and solutions, referring mostly to topics on NEUTROSOPHY, but also MULTISPACE, with miscellaneous addition of topics on Physics, Mathematics, or Sociology – email messages to research colleagues, or replies, notes about authors, articles, or books, spontaneous ideas, and so on.

Exchanging ideas with A. Elhassouny, Junhui Kim, Jeong Gon Lee, Kul Hur, Hojjatollah Farahani, W. B. Vasantha Kandasamy, Said Broumi, Mumtaz Ali, Mohamed Abdel-Basset, Ozen Ozer, Madad Khan, Gheorghe Săvoiu, John Mordeson, Adesina Agboola, Waldyr Rodrigues, Ajay Sharma, Stephen …

Nidus Idearum. Scilogs, Viii: Painting By Numbers, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this eighth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, – in email messages to research colleagues, or replies, and personal notes handwritten on the planes to, and from international conferences, about all kind of topics, centered mostly on Paradoxism and Neutrosophy.

Exchanging ideas with: Robert Neil Boyd, Joseph Brenner, Ahmed Cevik, Victor Christianto, Adrian Curaj, Jean Dezert, Andrei-Lucian Drăgoi, Ervin Goldfain, Young Bae Jun, Yale Landsberg, Radu Munteanu, Paul Piștea, Viorel Roman, Ridvan Sahin, Said Broumi, Selcuk Topal, Eric W. Weisstein, Xiaohing Zhang.

Nidus Idearum. Scilogs, Ix: Neutrosophia Perennis, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this ninth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, – in email messages to research colleagues, or replies, and personal notes, some handwritten on the planes to, and from international conferences, about topics on Neutrosophy and its applications, such as: Neutrosophic Bipolar Set, Linguistic Neutrosophic Set, Neutrosophic Resonance Frequency, n-ary HyperAlgebra, n-ary NeutroHyperAlgebra, n-ary AntiHyperAlgebra, Plithogenic Crisp Graph, Plithogenic Fuzzy Graph, Plithogenic Intuitionistic Fuzzy Graph, Plithogenic Neutrosophic Graph, Plithogenic Real Number Graph, Plithogenic Complex Number Graph, Plithogenic Neutrosophic Number Graph, and many more.

Exchanging ideas with: Tareq Al-Shami, …

Cryptography Through The Lens Of Group Theory, Dawson M. Shores

College of Graduate Studies: Theses & Dissertations

Cryptography has been around for many years, and mathematics has been around even longer. When the two subjects were combined, however, both the improvements and attacks on cryptography were prevalent. This paper introduces and performs a comparative analysis of two versions of the ElGamal cryptosystem, both of which use the specific field of mathematics known as group theory.

The Infinity Conundrum: Understanding Topics In Set Theory And The Continuum Hypothesis, Sabrina Grace Helck

Senior Independent Study Theses

This project is concerned with articulating the necessary background in order to understand the famous result of the undecidability of the continuum hypothesis. The first chapter of this independent study discusses the foundations of set theory, stating fundamental definitions and theorems that will be used throughout the remainder of the project. The second chapter focuses on ordinal and cardinal numbers which will directly relate to the final chapter. First, there is a clear explanation of the notion of order and what it means for a set to be well-ordered. Then ordinal numbers are defined and some properties are listed and …

Introduction To Discrete Mathematics: An Oer For Ma-471, Mathieu Sassolas

Open Educational Resources

The first objective of this book is to define and discuss the meaning of truth in mathematics. We explore logics, both propositional and first-order , and the construction of proofs, both formally and human-targeted. Using the proof tools, this book then explores some very fundamental definitions of mathematics through set theory. This theory is then put in practice in several applications. The particular (but quite widespread) case of equivalence and order relations is studied with detail. Then we introduces sequences and proofs by induction, followed by number theory. Finally, a small introduction to combinatorics is …

Algebraic Structures And Variations: From Latin Squares To Lie Quasigroups, Erik Flinn

All NMU Master's Theses

In this Master's Thesis we give an overview of the algebraic structure of sets with a single binary operation. Specifically, we are interested in quasigroups and loops and their historical connection with Latin squares; considering them in both finite and continuous variations. We also consider various mappings between such algebraic objects and utilize matrix representations to give a negative conclusion to a question concerning isotopies in the case of quasigroups.

Optimizing Networking Topologies With Shortest Path Algorithms, Jordan Sahs

UNO Student Research and Creative Activity Fair

Communication networks tend to contain redundant devices and mediums of transmission, thus the need to locate, document, and optimize networks is increasingly becoming necessary. However, many people do not know where to start the optimization progress. What is network topology? What is this “Shortest Path Problem”, and how can it be used to better my network? These questions are presented, taught, and answered within this paper. To supplement the reader’s understanding there are thirty-eight figures in the paper that are used to help convey and compartmentalize the learning process needed to grasp the materials presented in the ending sections.

In …

The Encyclopedia Of Neutrosophic Researchers - 4th Volume (2021), Florentin Smarandache, Maykel Leyva-Vazquez

Branch Mathematics and Statistics Faculty and Staff Publications

Este es el cuarto volumen de la Enciclopedia de Investigadores Neutróficos, editados a partir de materiales ofrecidos por los autores que respondieron a la invitación del editor. Los autores se enumeran alfabéticamente. La introducción contiene una breve historia de la neutrosófica, y en especial se su impacto en Latinoamérica junto con enlaces a los principales artículos y libros. Los conjuntos neutrosóficos, la lógica neutrosófica, la probabilidad neutrosófica, la estadística neutrosófica, el precálculo neutrosófico, el cálculo neutrosófico, la psicología neutrosófica, la sociología neutrosófica etc., están ganando una atención significativa en resolver muchos problemas de la vida real que implican incertidumbre, imprecisión, …