Jean Joseph

Ph.D. Candidate

Contact: jjose107 [aT] fau [DoT] edu

Specialization: Constructive mathematics without the axiom of countable choice

Advisor: Dr. Fred Richman

 

Conferences attended:     1. MAA-MathFest 2012 (Madison, WI)

                                             2. Forty-fourth Southeastern International Conference on Combinatorics, Graph Theory, and Computing (FAU)

                                             3. Forty-eigth Southeastern International Conference on Combinatorics, Graph Theory, and Computing (FAU)

                                             4. Topology, Algebra, and Categories in Logic (TACL) 2013 (Vanderbilt University)

                                             5. Mathematical Association of America Florida Section Meeting (State College of Florida) 

                                             6. American Mathematical Society Fall Southeastern Sectional Meeting (University of Central Florida) 

                                             7. Logical Foundations of Computer Science 2018 (Deerfield, FL)

                                             8. Joint Mathematics Meetings 2018 (San Diego, CA)

                                                               - Chair of the American Mathematical Society contributed paper session on Set Theory and Logic 

 

Summer school attended: TACL Summer School (2013)

 

Talks:   1. An Elementary Characterization of the Krull Dimension of a Ring (FAU - April 2014)

                     (A constructive definition of the Krull dimension of a ring) 

             2. Constructive Mathematics: The Intermediate Value Theorem (FAU - November 2016)

                     (An explanation of why the intermediate value theorem cannot be proved constructively) 

            3. Constructive Mathematics: The Real Numbers (FAU - February 2017)

                    (An axiomatic development of the real numbers without the assumption they are a field

             4. Cantor's Theorem (MAA Florida Section Meeting - February 2017) 

                    (A constructive version of Cantor's characterization of the order type of the rational numbers) 

            5. Completion of a Linearly Ordered Set (AMS Sectional Meeting - September 2017)

                  (A constructive characterization and construction of the completion of any linearly ordered set)

            6. Order Type of the Rational Numbers (JMM - January 2018)

                 (A characterization of the order type of the rational numbers) 

Poster:

             Title: Constructive Theory of Linear Order (Location: Department of Mathematical Sciences, FAU)

 

 

Programming language: knowledge of C++