Open Access. Powered by Scholars. Published by Universities.®

Set Theory Commons

Open Access. Powered by Scholars. Published by Universities.®

Set theory

Discipline
Institution
Publication Year
Publication
Publication Type

Articles 1 - 8 of 8

Full-Text Articles in Set Theory

Robust Spacecraft Autonomy For Deep Space Exploration In Special Euclidean Group Se(3), Matthew Wittal Mar 2025

Robust Spacecraft Autonomy For Deep Space Exploration In Special Euclidean Group Se(3), Matthew Wittal

Doctoral Dissertations and Master's Theses

Over the past half-century, humanity has gained extensive experience conducting manned spaceflight near Earth. Arguably, "near Earth" could even include the Moon — the most distant destination humans have reached. However, "near" in this work primarily refers low Earth orbit (LEO). One could argue that we have not truly left Earth since the Apollo, as spacecraft in some LEOs remain subject to atmospheric drag thus emphasizing their continued connection to Earth's immediate environment. Reflecting on this, it becomes clear that humanity has largely remained bound to Earth’s immediate vicinity since the Apollo missions reached the Moon. However, that is set …


New Challenges In Neutrosophic Theory And Applications, Florentin Smarandache, Stefan Vladutescu, Miihaela Colhon, Wadei Al-Omeri, Saeid Jafari, Muhammad Zahir Khan, Muhammad Farid Khan, Muhammad Aslam, Abdur Razzaque Mughal Jan 2020

New Challenges In Neutrosophic Theory And Applications, Florentin Smarandache, Stefan Vladutescu, Miihaela Colhon, Wadei Al-Omeri, Saeid Jafari, Muhammad Zahir Khan, Muhammad Farid Khan, Muhammad Aslam, Abdur Razzaque Mughal

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic theory has representatives on all continents and, therefore, it can be said to be a universal theory. On the other hand, according to the three volumes of “The Encyclopedia of Neutrosophic Researchers” (2016, 2018, 2019), plus numerous others not yet included in Encyclopedia book series, about 1200 researchers from 73 countries have applied both the neutrosophic theory and method. Neutrosophic theory was founded by Professor Florentin Smarandache in 1998; it constitutes further generalization of fuzzy and intuitionistic fuzzy theories. The key distinction between the neutrosophic set/logic and other types of sets/logics lies in the introduction of the degree of …


Some Intuition Behind Large Cardinal Axioms, Their Characterization, And Related Results, Philip A. White Jan 2019

Some Intuition Behind Large Cardinal Axioms, Their Characterization, And Related Results, Philip A. White

Theses and Dissertations

We aim to explain the intuition behind several large cardinal axioms, give characterization theorems for these axioms, and then discuss a few of their properties. As a capstone, we hope to introduce a new large cardinal notion and give a similar characterization theorem of this new notion. Our new notion of near strong compactness was inspired by the similar notion of near supercompactness, due to Jason Schanker.


On The Girth And Diameter Of Generalized Johnson Graphs, Louis Anthony Agong, Carmen Amarra, John Caughman, Ari J. Herman, Taiyo S. Terada Jan 2018

On The Girth And Diameter Of Generalized Johnson Graphs, Louis Anthony Agong, Carmen Amarra, John Caughman, Ari J. Herman, Taiyo S. Terada

Mathematics and Statistics Faculty Publications and Presentations

Let v > k > i be non-negative integers. The generalized Johnson graph, J(v,k,i), is the graph whose vertices are the k-subsets of a v-set, where vertices A and B are adjacent whenever |A∩B|= i. In this article, we derive general formulas for the girth and diameter of J(v,k,i). Additionally, we provide a formula for the distance between any two vertices A and B in terms of the cardinality of their intersection.


Morphological Operations Applied To Digital Art Restoration, M. Kirbie Dramdahl Aug 2014

Morphological Operations Applied To Digital Art Restoration, M. Kirbie Dramdahl

Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal

This paper provides an overview of the processes involved in detecting and removing cracks from digitized works of art. Specific attention is given to the crack detection phase as completed through the use of morphological operations. Mathematical morphology is an area of set theory applicable to image processing, and therefore lends itself effectively to the digital art restoration process.


An Introduction To Set Theory And Topology, Ronald C. Freiwald Jan 2014

An Introduction To Set Theory And Topology, Ronald C. Freiwald

Books and Monographs

These notes are an introduction to set theory and topology. They are the result of teaching a two-semester course sequence on these topics for many years at Washington University in St. Louis. Typically the students were advanced undergraduate mathematics majors, a few beginning graduate students in mathematics, and some graduate students from other areas that included economics and engineering. The usual background for the material is an introductory undergraduate analysis course, mostly because it provides a solid introduction to Euclidean space Rn and practice with rigorous arguments — in particular, about continuity. Strictly speaking, however, the material is mostly self-contained. …


A Comparison Of Category And Lebesgue Measure, Adam Matthew Moore Jan 2011

A Comparison Of Category And Lebesgue Measure, Adam Matthew Moore

Theses Digitization Project

This study, Lebesgue measure and category have proved to be useful tools in describing the size of sets. The notions of category and Lebesgue measure are commonly used to describe the size of a set of real numbers (or of a subset of Rn). Although cardinality is also a measure of the size of a set, category and measure are often the more important gauges of size when studying properties of classes of real functions, such as the space of continuous functions or the space of derivatives.


Towards A Formal Theory Of Interoperability, Saikou Y. Diallo Apr 2010

Towards A Formal Theory Of Interoperability, Saikou Y. Diallo

Computational Modeling & Simulation Engineering Theses & Dissertations

This dissertation proposes a formal theory of interoperability that explains 1) what interoperability is as opposed to how it works, 2) how to tell whether two or more systems can interoperate and 3) how to identify whether systems are interoperating or merely exchanging bits and bytes. The research provides a formal model of data in M&S that captures all possible representations of a real or imagined thing and distinguishes between existential dependencies and transformational dependencies. Existential dependencies capture the relationships within a model while transformational dependencies capture the relationships between interactions with a model. These definitions are used to formally …