Open Access. Powered by Scholars. Published by Universities.^{®}
 Discipline

 Other Mathematics (218)
 Algebra (148)
 Computer Sciences (130)
 Set Theory (112)
 Arts and Humanities (74)

 Number Theory (73)
 Analysis (69)
 Applied Mathematics (65)
 Philosophy (64)
 Engineering (62)
 Computer Engineering (57)
 Logic and Foundations of Mathematics (55)
 Other Computer Engineering (54)
 Systems Architecture (53)
 Other Computer Sciences (52)
 Algebraic Geometry (51)
 Theory and Algorithms (45)
 Discrete Mathematics and Combinatorics (43)
 Social and Behavioral Sciences (43)
 Epistemology (42)
 Artificial Intelligence and Robotics (42)
 Environmental Sciences (33)
 Philosophy of Science (33)
 Programming Languages and Compilers (32)
 Other Social and Behavioral Sciences (32)
 Continental Philosophy (32)
 Other Languages, Societies, and Cultures (31)
 Institution

 University of New Mexico (186)
 Chapman University (52)
 Portland State University (29)
 SelectedWorks (28)
 Claremont Colleges (21)

 City University of New York (CUNY) (13)
 Selected Works (9)
 Vassar College (9)
 Prairie View A&M University (7)
 Kansas State University Libraries (7)
 Iowa State University (7)
 Marshall University (5)
 Dartmouth College (5)
 Boise State University (4)
 Utah State University (4)
 Ouachita Baptist University (3)
 California State University, San Bernardino (3)
 University of Massachusetts Boston (3)
 Morehead State University (3)
 University of Northern Iowa (2)
 University of Pennsylvania (2)
 Northern Michigan University (2)
 University of Denver (2)
 Union College (2)
 Cedarville University (2)
 Bucknell University (1)
 Air Force Institute of Technology (1)
 Bridgewater State University (1)
 Bard College (1)
 Belmont University (1)
 Keyword

 Neutrosophic logic (64)
 Mathematics (25)
 Logic (20)
 Probabilistic graphical modeling (19)
 Multivariate analysis discrete multivariate modeling (19)

 Information Theory (19)
 Reconstructability Analysis (19)
 Data mining (19)
 Coalgebra (14)
 Completeness (9)
 Modal logic (9)
 Graph theory (9)
 Algebraic structures (9)
 Neutrosophic set (9)
 Axiomatization (9)
 Neutrosophy (8)
 Algebra (8)
 Philosophy (8)
 Mathematical problems (7)
 Geometry (7)
 Fuzzy logic (6)
 Set theory (6)
 Game theory (6)
 Neutrosophic Logic (5)
 Information fusion (5)
 Multiagent system (5)
 Contextural Programming Paradigm (5)
 Category theory (5)
 DSmT (4)
 Category Theory (4)
 Publication Year
 Publication

 Mathematics and Statistics Faculty and Staff Publications (186)
 Engineering Faculty Articles and Research (45)
 Rudolf Kaehr (31)
 Systems Science Faculty Publications and Presentations (27)
 Humanistic Mathematics Network Journal (12)

 Dissertations, Theses, and Capstone Projects (11)
 Faculty Research and Reports (9)
 Applications and Applied Mathematics: An International Journal (AAM) (7)
 Mathematics, Physics, and Computer Science Faculty Articles and Research (7)
 Baltic International Yearbook of Cognition, Logic and Communication (7)
 Honors Theses (6)
 Journal of Humanistic Mathematics (5)
 Dartmouth Scholarship (5)
 Mathematics Publications (5)
 Theses, Dissertations and Capstones (5)
 Boise State University Theses and Dissertations (4)
 All Graduate Theses and Dissertations (4)
 Morehead State Theses and Dissertations (3)
 The Research and Scholarship Symposium (20132019) (2)
 Dissertations and Theses @ UNI (2)
 Mostafa Mirabi (2)
 Theses and Dissertations (2)
 Jeffrey Keisler (2)
 CMC Senior Theses (2)
 Electronic Theses and Dissertations (2)
 HMC Senior Theses (2)
 Books (2)
 Books and Monographs (1)
 Chancellor’s Honors Program Projects (1)
 Bernd Buldt (1)
 Publication Type
 File Type
Articles 1  30 of 440
FullText Articles in Logic and Foundations
On The Generalization Of Interval Valued Fuzzy Generalized BiIdeals In Ordered Semigroups, Muhammad S. Ali Khan, Saleem Abdullah, Kostaq Hila
On The Generalization Of Interval Valued Fuzzy Generalized BiIdeals In Ordered Semigroups, Muhammad S. Ali Khan, Saleem Abdullah, Kostaq Hila
Applications and Applied Mathematics: An International Journal (AAM)
In this paper, a new general form than interval valued fuzzy generalized biideals in ordered semigroups is introduced. The concept of interval valued fuzzy generalized biideals is initiated and several properties and characterizations are provided. A condition for an interval valued fuzzy generalized biideal to be an interval valued fuzzy generalized biideal is obtained. Using implication operators and the notion of implicationbased an interval valued fuzzy generalized biideal, characterizations of an interval valued fuzzy generalized biideal and an interval valued fuzzy generalized biideal are considered.
Hamacher Operations Of Fermatean Fuzzy Matrices, I. Silambarasan
Hamacher Operations Of Fermatean Fuzzy Matrices, I. Silambarasan
Applications and Applied Mathematics: An International Journal (AAM)
The purpose of this study is to extend the Fermatean fuzzy matrices to the theory of Hamacher operations. In this paper, the concept of Hamacher operations of Fermatean fuzzy matrices are introduced and some desirable properties of these operations, such as commutativity, idempotency, and monotonicity are discussed. Further, we prove DeMorgan’s laws over complement for these operations. Furthermore, the scalar multiplication and exponentiation operations of Fermatean fuzzy matrices are constructed and their algebraic properties are investigated. Finally, some properties of necessity and possibility operators of Fermatean fuzzy matrices are proved.
Simplified Intuitionistic Neutrosophic Soft Set And Its Application On Diagnosing Psychological Disorder By Using Similarity Measure, Veerappan Chinnadurai, Albert Bobin
Simplified Intuitionistic Neutrosophic Soft Set And Its Application On Diagnosing Psychological Disorder By Using Similarity Measure, Veerappan Chinnadurai, Albert Bobin
Applications and Applied Mathematics: An International Journal (AAM)
The primary focus of this manuscript comprises three sections. Initially, we introduce the concept of a simplified intuitionistic neutrosophic soft set. We impose an intuitionistic condition between the membership values of truth and falsity such that their sum does not exceed unity. Similarly, for indeterminacy, the membership value is a real number from the closed interval [0, 1]. Hence, the sum of membership values of truth, indeterminacy, and falsity does not exceed two. We present the notion of necessity, possibility, concentration, and dilation operators and establish some of its properties. Second, we define the similarity measure between two simplified intuitionistic ...
Applications Of Nonstandard Analysis In Probability And Measure Theory, Irfan Alam
Applications Of Nonstandard Analysis In Probability And Measure Theory, Irfan Alam
LSU Doctoral Dissertations
This dissertation broadly deals with two areas of probability theory and investigates how methods from nonstandard analysis may provide new perspectives in these topics. In particular, we use nonstandard analysis to prove new results in the topics of limiting spherical integrals and of exchangeability.
In the former area, our methods allow us to represent finite dimensional Gaussian measures in terms of marginals of measures on hyperfinitedimensional spheres in a certain strong sense, thus generalizing some previously known results on Gaussian Radon transforms as limits of spherical integrals. This first area has roots in the kinetic theory of gases, which is ...
Some Model Theory Of Free Groups, Christopher James Natoli
Some Model Theory Of Free Groups, Christopher James Natoli
Dissertations, Theses, and Capstone Projects
There are two main sets of results, both pertaining to the model theory of free groups. In the first set of results, we prove that nonabelian free groups of finite rank at least 3 or of countable rank are not Ahomogeneous. We then build on the proof of this result to show that two classes of groups, namely finitely generated free groups and finitely generated elementary free groups, fail to form AFraisse classes and that the class of nonabelian limit groups fails to form a strong AFraisse class.
The second main result is that if a countable group is elementarily ...
Mathematical Zendo: A Game Of Patterns And Logic, Philip Deorsey, Corey Pooler, Michael Ferrara
Mathematical Zendo: A Game Of Patterns And Logic, Philip Deorsey, Corey Pooler, Michael Ferrara
Journal of Math Circles
Mathematical Zendo is a logic game that actively engages participants in pattern recognition, problem solving, and critical thinking while providing a fun opportunity to explore all manner of mathematical objects. Based upon the popular game of Zendo, created by Looney Labs, Mathematical Zendo centers on a secret rule, chosen by the leader, that must be guessed by teams of players. In each round of the game, teams provide examples of the mathematical object of interest (e.g. functions, numbers, sets) and receive information about whether their guesses do or do not satisfy the secret rule. In this paper, we introduce ...
Introduction To Neutrosophic Genetics, Florentin Smarandache
Introduction To Neutrosophic Genetics, Florentin Smarandache
Mathematics and Statistics Faculty and Staff Publications
Neutrosophic Genetics is the study of genetics using neutrosophic logic, set, probability, statistics, measure and other neutrosophic tools and procedures. In this paper, based on the Neutrosophic Theory of Evolution (that includes degrees of Evolution, Neutrality (or Indeterminacy), and Involution) – as extension of Darwin’s Theory of Evolution, we show the applicability of neutrosophy in genetics, and we present within the frame of neutrosophic genetics the following concepts: neutrosophic mutation, neutrosophic speciation, and neutrosophic coevolution.
Structure, Neutrostructure, And Antistructure In Science, Florentin Smarandache
Structure, Neutrostructure, And Antistructure In Science, Florentin Smarandache
Mathematics and Statistics Faculty and Staff Publications
In any science, a classical Theorem, defined on a given space, is a statement that is 100% true (i.e. true for all elements of the space). To prove that a classical theorem is false, it is sufficient to get a single counterexample where the statement is false. Therefore, the classical sciences do not leave room for partial truth of a theorem (or a statement). But, in our world and in our everyday life, we have many more examples of statements that are only partially true, than statements that are totally true. The NeutroTheorem and AntiTheorem are generalizations and alternatives ...
Decision Making On Teachers’ Adaptation To Cybergogy In Saturated Interval Valued Refined Neutrosophic Overset /Underset /Offset Environment, Florentin Smarandache, Nivetha Martin, Priya R.
Decision Making On Teachers’ Adaptation To Cybergogy In Saturated Interval Valued Refined Neutrosophic Overset /Underset /Offset Environment, Florentin Smarandache, Nivetha Martin, Priya R.
Mathematics and Statistics Faculty and Staff Publications
Neutrosophic overset, neutrosophic underset and neutrosophic offset introduced by Smarandache are the special kinds of neutrosophic sets with values beyond the range [0,1] and these sets are pragmatic in nature as it represents the real life situations. This paper introduces the concept of saturated refined neutrosophic sets and extends the same to the special kinds of neutrosophic sets. The proposed concept is applied in decision making on Teacher’s adaptation to cybergogy. The decision making environment is characterized by different types of teachers, online teaching skills and various training methods. Fuzzy relation is used to match the most suitable ...
TrueFalse Set Is A Particular Case Of The Refined Neutrosophic Set, Florentin Smarandache, Said Broumi
TrueFalse Set Is A Particular Case Of The Refined Neutrosophic Set, Florentin Smarandache, Said Broumi
Mathematics and Statistics Faculty and Staff Publications
Borzooei, Mohseni Takallo, and Jun recently proposed a new type of set, called TrueFalse Set [1], and they claimed it is a generalization of Neutrosophic Set [2]. We prove that this assertion is untrue. Actually it’s the opposite, the TrueFalse Set is a particular case of the Refined Neutrosophic Set.
Plithogenic Cubic Sets, Florentin Smarandache, S.P. Priyadharshini, F. Nirmala Irudayam
Plithogenic Cubic Sets, Florentin Smarandache, S.P. Priyadharshini, F. Nirmala Irudayam
Mathematics and Statistics Faculty and Staff Publications
In this article, using the concepts of cubic set and plithogenic set, the ideas of plithogenic fuzzy cubic set, plithogenic intuitionistic fuzzy cubic set, plithogenic neutrosophic cubic set are introduced and its corresponding internal and external cubic sets are discussed with examples.
A Novel Approach For Assessing The Reliability Of Data Contained In A Single Valued Neutrosophic Number And Its Application In Multiple Criteria Decision Making, Florentin Smarandache, Dragisa Stanujkic, Darjan Karabasevic, Gabrijela Popovic
A Novel Approach For Assessing The Reliability Of Data Contained In A Single Valued Neutrosophic Number And Its Application In Multiple Criteria Decision Making, Florentin Smarandache, Dragisa Stanujkic, Darjan Karabasevic, Gabrijela Popovic
Mathematics and Statistics Faculty and Staff Publications
Multiple criteria decision making is one of the many areas where neutrosophic sets have been applied to solve various problems so far.
On Product Of Smooth Neutrosophic Topological Spaces, Florentin Smarandache, Kalaivani Chandran, Swathi Sundari Sundaramoorthy, Saeid Jafari
On Product Of Smooth Neutrosophic Topological Spaces, Florentin Smarandache, Kalaivani Chandran, Swathi Sundari Sundaramoorthy, Saeid Jafari
Mathematics and Statistics Faculty and Staff Publications
In this paper, we develop the notion of the basis for a smooth neutrosophic topology in a more natural way. As a sequel, we define the notion of symmetric neutrosophic quasicoincident neighborhood systems and prove some interesting results that fit with the classical ones, to establish the consistency of theory developed. Finally, we define and discuss the concept of product topology, in this context, using the definition of basis.
Length Neutrosophic Subalgebras Of Bck/BciAlgebras, Florentin Smarandache, Young Bae Jun, Madad Khan, SeokZun Song
Length Neutrosophic Subalgebras Of Bck/BciAlgebras, Florentin Smarandache, Young Bae Jun, Madad Khan, SeokZun Song
Mathematics and Statistics Faculty and Staff Publications
the notion of (i, j, k)length neutrosophic subalgebras in BCK/BCIalgebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed by using level sets of interval neutrosophic sets. Conditions for level sets of interval neutrosophic sets to be subalgebras are provided.
Alternative Cichoń Diagrams And Forcing Axioms Compatible With Ch, Corey B. Switzer
Alternative Cichoń Diagrams And Forcing Axioms Compatible With Ch, Corey B. Switzer
Dissertations, Theses, and Capstone Projects
This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative versions of the Cichoń diagram. First I show that for a wide variety of reduction concepts there is a Cichoń diagram for effective cardinal characteristics relativized to that reduction. As an application I investigate in detail the Cichoń diagram for degrees of constructibility relative to a fixed inner model of ZFC. Then I study generalizations of cardinal characteristics to the space of functions from Baire space to Baire space ...
An Expanded Model Of Unmatter From Neutrosophic Logic Perspective: Towards MatterSpirit Unity View, Florentin Smarandache, Victor Christianto, Robert Neil Boyd
An Expanded Model Of Unmatter From Neutrosophic Logic Perspective: Towards MatterSpirit Unity View, Florentin Smarandache, Victor Christianto, Robert Neil Boyd
Mathematics and Statistics Faculty and Staff Publications
In Neutrosophic Logic, a basic assertion is that there are variations of about everything that we can measure; the variations surround three parameters called T, I, F (truth, indeterminacy, falsehood) which can take a range of values. A previous paper in IJNS, 2020 shortly reviews the links among aether and matter creation from the perspective of Neutrosophic Logic. In any case, matter creation process in nature stays a major puzzle for physicists, scientists and other science analysts. To this issue neutrosophic logic offers an answer: "unmatter." This paper examines an extended model of unmatter, to incorporate issue soul solidarity. So ...
A Review Of Fuzzy Soft Topological Spaces, Intuitionistic Fuzzy Soft Topological Spaces And Neutrosophic Soft Topological Spaces, Florentin Smarandache, M. Parimala, M. Karthika
A Review Of Fuzzy Soft Topological Spaces, Intuitionistic Fuzzy Soft Topological Spaces And Neutrosophic Soft Topological Spaces, Florentin Smarandache, M. Parimala, M. Karthika
Mathematics and Statistics Faculty and Staff Publications
The notion of fuzzy sets initiated to overcome the uncertainty of an object. Fuzzy topological space, intuitionistic fuzzy sets in topological structure space, vagueness in topological structure space, rough sets in topological space, theory of hesitancy and neutrosophic topological space, etc. are the extension of fuzzy sets. Soft set is a family of parameters which is also a set. Fuzzy soft topological space, intuitionistic fuzzy soft and neutrosophic soft topological space are obtained by incorporating soft sets with various topological structures. This motivates to write a review and study on various soft set concepts. This paper shows the detailed review ...
A General Model Of Neutrosophic Ideals In Bck/BciAlgebras Based On Neutrosophic Points, Florentin Smarandache, Hashem Bordbar, Rajab Ali Borzooei, Young Bae Jun
A General Model Of Neutrosophic Ideals In Bck/BciAlgebras Based On Neutrosophic Points, Florentin Smarandache, Hashem Bordbar, Rajab Ali Borzooei, Young Bae Jun
Mathematics and Statistics Faculty and Staff Publications
More general form of (∈, ∈∨q)neutrosophic ideal is introduced, and their properties are investigated.
The Polar Form Of A Neutrosophic Complex Number, Florentin Smarandache, Riad K. AlHamido, Mayas Ismail
The Polar Form Of A Neutrosophic Complex Number, Florentin Smarandache, Riad K. AlHamido, Mayas Ismail
Mathematics and Statistics Faculty and Staff Publications
In this paper, we will define the exponential form of a neutrosophic complex number. We have proven some characteristics and theories, including the conjugate of the exponential form of a neutrosophic complex number, division of the exponential form of a neutrosophic complex numbers, multiplication of the exponential form of a neutrosophic complex numbers. In addition, we have given the method of changing from the exponential to the algebraic form of a complex number.
Reconstructability Analysis & Its Occam Implementation, Martin Zwick
Reconstructability Analysis & Its Occam Implementation, Martin Zwick
Systems Science Faculty Publications and Presentations
This talk will describe Reconstructability Analysis (RA), a probabilistic graphical modeling methodology deriving from the 1960s work of Ross Ashby and developed in the systems community in the 1980s and afterwards. RA, based on information theory and graph theory, resembles and partially overlaps Bayesian networks (BN) and loglinear techniques, but also has some unique capabilities. (A paper explaining the relationship between RA and BN will be given in this special session.) RA is designed for exploratory modeling although it can also be used for confirmatory hypothesis testing. In RA modeling, one either predicts some DV from a set of IVs ...
Joint Lattice Of Reconstructability Analysis And Bayesian Network General Graphs, Marcus Harris, Martin Zwick
Joint Lattice Of Reconstructability Analysis And Bayesian Network General Graphs, Marcus Harris, Martin Zwick
Systems Science Faculty Publications and Presentations
This paper integrates the structures considered in Reconstructability Analysis (RA) and those considered in Bayesian Networks (BN) into a joint lattice of probabilistic graphical models. This integration and associated lattice visualizations are done in this paper for four variables, but the approach can easily be expanded to more variables. The work builds on the RA work of Klir (1985), Krippendorff (1986), and Zwick (2001), and the BN work of Pearl (1985, 1987, 1988, 2000), Verma (1990), Heckerman (1994), Chickering (1995), Andersson (1997), and others. The RA four variable lattice and the BN four variable lattice partially overlap: there are ten ...
Plithogenic Cognitive Maps In Decision Making, Florentin Smarandache, Nivetha Martin
Plithogenic Cognitive Maps In Decision Making, Florentin Smarandache, Nivetha Martin
Mathematics and Statistics Faculty and Staff Publications
Plithogenic sets introduced by Smarandache (2018) have disclosed new research vistas and this paper introduces the novel concept of plithogenic cognitive maps (PCM) and its applications in decision making. The new approach of defining instantaneous state neutrosophic vector with the confinement of indeterminacy to (0,1] is proposed to quantify the degree of indeterminacy. The resultant vector is obtained by applying instantaneous state vector through the connection matrix together with plithogenic operators comprising the contradiction degrees. The connection matrix is represented as fuzzy matrix and neutrosophic matrix and the resultant vector is determined by applying plithogenic fuzzy operators and plithogenic ...
Derivable Single Valued Neutrosophic Graphs Based On KmFuzzy Metric, Florentin Smarandache, Mohammad Hamidi
Derivable Single Valued Neutrosophic Graphs Based On KmFuzzy Metric, Florentin Smarandache, Mohammad Hamidi
Mathematics and Statistics Faculty and Staff Publications
In this paper we consider the concept of KMfuzzy metric spaces and we introduce a novel concept of KMsingle valued neutrosophic metric graphs based on KMfuzzy metric spaces. Then we investigate the finite KMfuzzy metric spaces with respect to KMfuzzy metrics and we construct the KMfuzzy metric spaces on any given nonempty sets. We try to extend the concept of KMfuzzy metric spaces to a larger class of KMfuzzy metric spaces such as union and product of KMfuzzy metric spaces and in this regard we investigate the class of products of KMsingle valued neutrosophic metric graphs. In the final, we ...
C# Application To Deal With Neutrosophic G(Alpha)Closed Sets In Neutrosophic Topology, S. Saranya, M. Vigneshwaran, S. Jafari
C# Application To Deal With Neutrosophic G(Alpha)Closed Sets In Neutrosophic Topology, S. Saranya, M. Vigneshwaran, S. Jafari
Applications and Applied Mathematics: An International Journal (AAM)
In this paper, we have developed a C# Application for finding the values of the complement, union, intersection and the inclusion of any two neutrosophic sets in the neutrosophic field by using .NET Framework, Microsoft Visual Studio and C# Programming Language. In addition to this, the system can find neutrosophic topology, neutrosophic alphaclosed sets and neutrosophic g(alpha)closed sets in each resultant screens. Also, this computerbased application produces the complement values of each neutrosophic closed sets.
Ideal Theory In Bck/BciAlgebras In The Frame Of Hesitant Fuzzy Set Theory, G. Muhiuddin, Habib Harizavi, Young Bae Jun
Ideal Theory In Bck/BciAlgebras In The Frame Of Hesitant Fuzzy Set Theory, G. Muhiuddin, Habib Harizavi, Young Bae Jun
Applications and Applied Mathematics: An International Journal (AAM)
Several generalizations and extensions of fuzzy sets have been introduced in the literature, for example, Atanassov’s intuitionistic fuzzy sets, type 2 fuzzy sets and fuzzy multisets, etc. Using the Torra’s hesitant fuzzy sets, the notions of Suphesitant fuzzy ideals in BCK/BCIalgebras are introduced, and its properties are investigated. Relations between Suphesitant fuzzy subalgebras and Suphesitant fuzzy ideals are displayed, and characterizations of Suphesitant fuzzy ideals are discussed.
Some Operations Over Pythagorean Fuzzy Matrices Based On Hamacher Operations, I. Silambarasan, S. Sriram
Some Operations Over Pythagorean Fuzzy Matrices Based On Hamacher Operations, I. Silambarasan, S. Sriram
Applications and Applied Mathematics: An International Journal (AAM)
Pythagorean fuzzy matrix is a powerful tool for describing the vague concepts more precisely. The Pythagorean fuzzy matrix based models provide more flexibility in handling the human judgment information as compared to other fuzzy models. The objective of this paper is to apply the concept of intuitionistic fuzzy matrices to Pythagorean fuzzy matrices. In this paper, we briefly introduce the Pythagorean fuzzy matrices and some theorems and examples are applied to illustrate the performance of the proposed methods. Then we define the Hamacher scalar multiplication (n._{h}A) and Hamacher exponentiation (A^^{h}n) operations on Pythagorean fuzzy matrices and ...
On The Qualitative Analysis Of Volterra Iddes With Infinite Delay, Osman Tunç, Erdal Korkmaz, Özkan Atan
On The Qualitative Analysis Of Volterra Iddes With Infinite Delay, Osman Tunç, Erdal Korkmaz, Özkan Atan
Applications and Applied Mathematics: An International Journal (AAM)
This investigation deals with a nonlinear Volterra integrodifferential equation with infinite retardation (IDDE).We will prove three new results on the stability, uniformly stability (US) and square integrability (SI) of solutions of that IDDE. The proofs of theorems rely on the use of an appropriate LyapunovKrasovskii functional (LKF). By the outcomes of this paper, we generalize and obtain some former results in mathematical literature under weaker conditions.
Model Theory Of Groups And Monoids, Laura M. Lopez Cruz
Model Theory Of Groups And Monoids, Laura M. Lopez Cruz
Dissertations, Theses, and Capstone Projects
We first show that arithmetic is biinterpretable (with parameters) with the free monoid and with partially commutative monoids with trivial center. This biinterpretability implies that these monoids have the QFA property and that finitely generated submonoids of these monoids are definable. Moreover, we show that any recursively enumerable language in a finite alphabet X with two or more generators is definable in the free monoid. We also show that for metabelian BaumslagSolitar groups and for a family of metabelian restricted wreath products, the Diophantine Problem is decidable. That is, we provide an algorithm that decides whether or not a given ...
A Paradox Solved (Or 3), Lee Grisham
A Paradox Solved (Or 3), Lee Grisham
Scholars Day Conference
I gained an interest in paradoxes when I was introduced to the Grandfather paradox as a child, and began studying time travel, along with all the effects and thought experiments it could lead to. This, in turn, led to my researching many more paradoxes and having something to do in my free time that didn’t require anything outside my own thoughts. Several paradoxes I found stumped me then, and still do to this day. However, there are some that I have recently begun to feel like I am understanding much more clearly. One day this past semester, I was ...
Inductive Constructions In Logic And Graph Theory, Davis Deaton
Inductive Constructions In Logic And Graph Theory, Davis Deaton
Honors Theses
Just as much as mathematics is about results, mathematics is about methods. This thesis focuses on one method: induction. Induction, in short, allows building complex mathemati cal objects from simple ones. These mathematical objects include the foundational, like logical statements, and the abstract, like cell complexes. Nonmathematicians struggle to find a common thread throughout all of mathematics, but I present induction as such a common thread here. In particular, this thesis discusses everything from the very foundations of mathematics all the way to combina torial manifolds. I intend to be casual and opinionated while still providing all necessary formal rigor ...