Separating Variants of LEM, LPO, and MP
|
|
- Derrick Murphy
- 5 years ago
- Views:
Transcription
1 Matt Hendtlass, U Canterbury Robert S. Lubarsky, FAU Proof Theory, Modal Logic and Reflection Principles Mexico City, Mexico September 29 - October 2, 2014
2 Implications Definition The Law of Excluded Middle (LEM): For any proposition A, either A is true or A is false (A or A). The Weak LEM (WLEM): For any proposition A, either A or A. The Limited Principle of Omniscience (LPO): For any binary sequence α, either α(n) = 0 for all n or there exists n such that α(n) = 1. Markov s Principle (MP): If it is impossible for all terms of α to be zero, then there exists an n such that α(n) = 1.
3 Implications Definition The Law of Excluded Middle (LEM): For any proposition A, either A is true or A is false (A or A). The Weak LEM (WLEM): For any proposition A, either A or A. The Limited Principle of Omniscience (LPO): For any binary sequence α, either α(n) = 0 for all n or there exists n such that α(n) = 1. Markov s Principle (MP): If it is impossible for all terms of α to be zero, then there exists an n such that α(n) = 1. The Lesser Limited Principle of Omniscience (LLPO): For any binary sequence α with at most one non-zero term, either α(n) = 0 for all even n or α(n) = 0 for all odd n.
4 Implications Implications LEM LPO MP WMP WLEM WLPO WKL Π 0 1 -ACω, LLPO MP... WLEM n LLPO n MP n WLEM n+1 LLPO n+1 MP n+1... WLEM ω LLPO ω MP ω
5 More Principles Implications Definition LLPO n : Let (P i ) i<n be a decidable partition of ω into blocks of size ω, and let α be a binary sequence with at most one non-zero term. Then there exists k < n such that α(m) = 0 for all m P k.
6 Implications More Principles Definition LLPO n : Let (P i ) i<n be a decidable partition of ω into blocks of size ω, and let α be a binary sequence with at most one non-zero term. Then there exists k < n such that α(m) = 0 for all m P k. MP n : If α has at most one non-zero term and it is impossible for all terms of α to be zero, then there exists k < n such that α(m) = 0 for all m P k.
7 Implications More Principles Definition LLPO n : Let (P i ) i<n be a decidable partition of ω into blocks of size ω, and let α be a binary sequence with at most one non-zero term. Then there exists k < n such that α(m) = 0 for all m P k. MP n : If α has at most one non-zero term and it is impossible for all terms of α to be zero, then there exists k < n such that α(m) = 0 for all m P k. WLEM n : i,j<n,i j A i A j i<n A i.
8 Implications Definition (Mandelkern) A real r is positive, r > 0, if r is within 1/n of some rational q > 1/n.
9 Implications Definition (Mandelkern) A real r is positive, r > 0, if r is within 1/n of some rational q > 1/n. r is almost positive, r 0, if r is not negative and r is not 0. (Equivalently, r is not not positive.)
10 Implications Definition (Mandelkern) A real r is positive, r > 0, if r is within 1/n of some rational q > 1/n. r is almost positive, r 0, if r is not negative and r is not 0. (Equivalently, r is not not positive.) r is pseudo-positive if, for all x, either x 0 or r x.
11 Implications Definition (Mandelkern) A real r is positive, r > 0, if r is within 1/n of some rational q > 1/n. r is almost positive, r 0, if r is not negative and r is not 0. (Equivalently, r is not not positive.) r is pseudo-positive if, for all x, either x 0 or r x. Easily, r > 0 r is pseudo-positive r 0. Mandelkern was interested in the converses.
12 Implications, Binary Version Definition A binary sequence α is positive, α > 0, if α(n) = 1 for some n.
13 Implications, Binary Version Definition A binary sequence α is positive, α > 0, if α(n) = 1 for some n. α is almost positive, α 0, if α is not 0. (Equivalently, α is not not positive.)
14 Implications, Binary Version Definition A binary sequence α is positive, α > 0, if α(n) = 1 for some n. α is almost positive, α 0, if α is not 0. (Equivalently, α is not not positive.) α is pseudo-positive if, for all β, either i) β 0 (i.e. n (β(n) = 1)) or ii) α β (i.e. n (α(n) = 1 k n β(k) = 0)).
15 Implications, Binary Version Definition A binary sequence α is positive, α > 0, if α(n) = 1 for some n. α is almost positive, α 0, if α is not 0. (Equivalently, α is not not positive.) α is pseudo-positive if, for all β, either i) β 0 (i.e. n (β(n) = 1)) or ii) α β (i.e. n (α(n) = 1 k n β(k) = 0)). Easily, positive pseudo-positive almost positive.
16 Implications, Binary Version Definition A binary sequence α is positive, α > 0, if α(n) = 1 for some n. α is almost positive, α 0, if α is not 0. (Equivalently, α is not not positive.) α is pseudo-positive if, for all β, either i) β 0 (i.e. n (β(n) = 1)) or ii) α β (i.e. n (α(n) = 1 k n β(k) = 0)). Easily, positive pseudo-positive almost positive. It is not hard to see that the assertion if α is almost positive then α is pseudo-positive is MP.
17 Implications, Binary Version Definition A binary sequence α is positive, α > 0, if α(n) = 1 for some n. α is almost positive, α 0, if α is not 0. (Equivalently, α is not not positive.) α is pseudo-positive if, for all β, either i) β 0 (i.e. n (β(n) = 1)) or ii) α β (i.e. n (α(n) = 1 k n β(k) = 0)). Easily, positive pseudo-positive almost positive. It is not hard to see that the assertion if α is almost positive then α is pseudo-positive is MP. WMP: If α is pseudo-positive then α is positive: β ( n β(n) = 1 n(α(n) = 1 β(n) = 0)) n α(n) = 1
18 LEM LPO MP WMP WLEM.. Th. 3. [1,8,10] WLPO WKL Th. 13, see also [10] [3] LLPO. Th. 5 MP. [15] or Th. 12 WLEM n LLPO n MP n WLEM n+1 LLPO n+1 MP n n MP n Th. 11 Th. 4, see also [9].. WLEM ω Th. 10 Th. 9 LLPO ω MP ω
19 Proof 1 Theorem Over IZF, WLEM does not imply WMP. Proof. Let f : V M be an elementary embedding of the universe of sets V into a model M with non-standard integers.
20 Proof 1 Theorem Over IZF, WLEM does not imply WMP. Proof. Let f : V M be an elementary embedding of the universe of sets V into a model M with non-standard integers. Consider the Kripke model: M V.
21 Proof 2 Theorem Over IZF, WLEM does not imply WMP. Proof. To get WMP to be false, iterate:. M 2 M 1 V.
22 Proof 3 Theorem Over IZF, WLEM does not imply WMP. Proof. Same picture:. M 2 M 1 V. Only this time, sets are allowed to change once. They have to settle down by the node after the one where they first appear.
23 Proof 4 Theorem Over IZF, WLEM does not imply WMP. Proof. To get DC to hold, use a topological model: Let X be ω { } and U be a non-principal ultrafilter on ω. Take the discrete topology on ω, and a neighborhood of to be { } u where u U.
24 Proof 4 Theorem Over IZF, WLEM does not imply WMP. Proof. To get DC to hold, use a topological model: Let X be ω { } and U be a non-principal ultrafilter on ω. Take the discrete topology on ω, and a neighborhood of to be { } u where u U. WLEM: Consider X 0 := {k ω : {k} A} and X 1 := {k ω : {k} A}.
25 Proof 4 Theorem Over IZF, WLEM does not imply WMP. Proof. To get DC to hold, use a topological model: Let X be ω { } and U be a non-principal ultrafilter on ω. Take the discrete topology on ω, and a neighborhood of to be { } u where u U. WLEM: Consider X 0 := {k ω : {k} A} and X 1 := {k ω : {k} A}. WMP: Consider α such that {k} α(n) = 1 iff k = n.
26 Proof 4 Theorem Over IZF, WLEM does not imply WMP. Proof. To get DC to hold, use a topological model: Let X be ω { } and U be a non-principal ultrafilter on ω. Take the discrete topology on ω, and a neighborhood of to be { } u where u U. WLEM: Consider X 0 := {k ω : {k} A} and X 1 := {k ω : {k} A}. WMP: Consider α such that {k} α(n) = 1 iff k = n. No neighborhood of forces α to be positive.
27 Proof 4 Theorem Over IZF, WLEM does not imply WMP. Proof. To get DC to hold, use a topological model: Let X be ω { } and U be a non-principal ultrafilter on ω. Take the discrete topology on ω, and a neighborhood of to be { } u where u U. WLEM: Consider X 0 := {k ω : {k} A} and X 1 := {k ω : {k} A}. WMP: Consider α such that {k} α(n) = 1 iff k = n. No neighborhood of forces α to be positive. To see that α is pseudo-positive, given β, consider X 0 := {k ω : {k} n β(n) = 1} and X 1 := {k ω : {k} n β(n) = 0}.
28 Proof 5 Theorem Over IZF, WLEM does not imply WMP. Proof. To get DC and WMP, iterate. Let T be ω <ω, the nodes of the countably branching tree.
29 Proof 5 Theorem Over IZF, WLEM does not imply WMP. Proof. To get DC and WMP, iterate. Let T be ω <ω, the nodes of the countably branching tree. A basic open set O contains a unique shortest node σ O, and, for all σ O, {n σ n O} U.
30 Theorem Over IZF, WMP does not imply MP. Proof. Take the topological model over the rationals Q. For MP, let O n be a nested sequence of irrational intervals with intersection {r}. Let α(n) = 0 = O n.
31 Theorem Over IZF, WMP does not imply MP. Proof. Take the topological model over the rationals Q. For MP, let O n be a nested sequence of irrational intervals with intersection {r}. Let α(n) = 0 = O n. For WMP, suppose O β( n (β(n) = 1) n (α(n) = 1 β(n) = 0)).
32 Theorem Over IZF, WMP does not imply MP. Proof. Take the topological model over the rationals Q. For MP, let O n be a nested sequence of irrational intervals with intersection {r}. Let α(n) = 0 = O n. For WMP, suppose O β( n (β(n) = 1) n (α(n) = 1 β(n) = 0)). For r O, let O n decide α(n) (r O). Worst case: O n α(n) = 0.
33 Theorem Over IZF, WMP does not imply MP. Proof. Take the topological model over the rationals Q. For MP, let O n be a nested sequence of irrational intervals with intersection {r}. Let α(n) = 0 = O n. For WMP, suppose O β( n (β(n) = 1) n (α(n) = 1 β(n) = 0)). For r O, let O n decide α(n) (r O). Worst case: O n α(n) = 0. WLOG r is the left endpoint of O n. Let β(n) = 0 = O n (r, ). Then β contradicts the hypothesis on O.
34 Theorem Over IZF, WKL does not imply WLPO. Proof. 0 1 V 0 V 1 f,0 f,1 V V 0 the standard V, V 1 ω-non-standard.
35 Theorem Over IZF, WKL does not imply WLPO. Proof. 0 1 V 0 V 1 f,0 f,1 V V 0 the standard V, V 1 ω-non-standard. For WKL, if at Tr is an infinite tree, consider a non-standard branch.
36 Theorem Over IZF, WKL does not imply WLPO. Proof. 0 1 V 0 V 1 f,0 f,1 V V 0 the standard V, V 1 ω-non-standard. For WKL, if at Tr is an infinite tree, consider a non-standard branch. For WLPO, let α(n) be 0 for all standard n and 1 for some non-standard n.
37 Matt Hendtlass and Robert Lubarsky, Separating Fragments of WLEM, LPO, and MP, to appear (hopefully), available at Hajime Ishihara, Constructive reverse mathematics: compactness properties, in L. Crosilla and P. Schuster, eds., From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, Oxford University Press, p , Ulrich Kohlenbach, Applied Proof Theory: Proof Interpretations and their Use in Mathematics, Springer, Mark Mandelkern, Constructively complete finite sets, Zeitschr. f. math. Logic und Grundlagen d. Math. 34, p , Fred Richman, Polynomials and linear transformations, Linear Algebra Appl. 131, p , 1990.
Constructive (functional) analysis
Constructive (functional) analysis Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Nomi, Ishikawa 923-1292, Japan Proof and Computation, Fischbachau,
More informationSEPARATING FRAGMENTS OF WLEM, LPO, AND MP
The Journal of Symbolic Logic, Page1of29 SEPARATING FRAGMENTS OF WLEM, LPO, AND MP MATT HENDTLASS AND ROBERT LUBARSKY Abstract. We separate many of the basic fragments of classical logic which are used
More informationConstructive reverse mathematics: an introduction
Constructive reverse mathematics: an introduction Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Nomi, Ishikawa 923-1292, Japan CMFP 2013, Nis,
More informationConstructive (functional) analysis
Constructive (functional) analysis Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Nomi, Ishikawa 923-1292, Japan Proof and Computation, Fischbachau,
More informationConstructive analysis
Constructive analysis Philosophy, Proof and Fundamentals Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Nomi, Ishikawa 923-1292, Japan Interval
More informationNOTIONS OF CAUCHYNESS AND METASTABILITY
NOTIONS OF CAUCHYNESS AND METASTABILITY HANNES DIENER AND ROBERT LUBARSKY Abstract. We show that several weakenings of the Cauchy condition are all equivalent under the assumption of countable choice,
More informationThe binary expansion and the intermediate value theorem in constructive reverse mathematics
The binary expansion and the intermediate value theorem in constructive reverse mathematics Josef Berger, Hajime Ishihara, Takayuki Kihara and Takako Nemoto November 29, 2015 Abstract We introduce the
More informationJosef BERGER, Hajime ISHIHARA, and Peter SCHUSTER THE WEAK KŐNIG LEMMA, BROUWER S FAN THEOREM, DE MORGAN S LAW, AND DEPENDENT CHOICE
REPORTS ON MATHEMATICAL LOGIC 47 (2012), 63 86 DOI:10.4467/20842589RM.12.003.0684 Josef BERGER, Hajime ISHIHARA, and Peter SCHUSTER THE WEAK KŐNIG LEMMA, BROUWER S FAN THEOREM, DE MORGAN S LAW, AND DEPENDENT
More informationProof Theory, Modal Logic and Reflection Principles
Proof Theory, Modal Logic and Reflection Principles Mexico City 2014 Abstracts Sergei Artemov Reflection vs. co-reflection in Intuitionistic Epistemic Logic. This is joint work with Tudor Protopopescu.
More informationarxiv: v1 [math.lo] 30 Jan 2018
THE THIRD TRICK HANNES DIENER AND MATTHEW HENDTLASS ABSTRACT. We prove a result, similar to the ones known as Ishihara s First and Second Trick, for sequences of functions. arxiv:80.036v [math.lo] 30 Jan
More informationRealizable Extensions of Intuitionistic Analysis: Brouwer, Kleene, Kripke and the End of Time
Realizable Extensions of Intuitionistic Analysis: Brouwer, Kleene, Kripke and the End of Time Joan Rand Moschovakis Occidental College, Emerita ASL Special Session on Intuitionism and Intuitionistic Logic
More informationCONSTRUCTIVE CONNECTIONS BETWEEN ANTI-SPECKER, POSITIVITY, AND FAN-THEORETIC PROPERTIES. Douglas Bridges, James Dent, and Maarten McKubre-Jordens
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 44 (2014), 21 33 CONSTRUCTIVE CONNECTIONS BETWEEN ANTI-SPECKER, POSITIVITY, AND FAN-THEORETIC PROPERTIES Douglas Bridges, James Dent, and Maarten McKubre-Jordens
More informationANOTHER UNIQUE WEAK KÖNIG S LEMMA WKL!!
ANOTHER UNIQUE WEAK KÖNIG S LEMMA WKL!! JOAN RAND MOSCHOVAKIS For Professor Helmut Schwichtenberg Abstract. In [2] J. Berger and Ishihara proved, via a circle of informal implications involving countable
More informationConstructive convex programming
Constructive convex programming Josef Berger and Gregor Svindland August 15, 2017 Abstract Working within Bishop-style constructive mathematics, we show that positive-valued, uniformly continuous, convex
More informationCitation 数理解析研究所講究録 (2004), 1381:
Informal Constructive Reverse Mathe TitleTheoretical Arguments of Mathematic Computer) Author(s) Ishihara, Hajime Citation 数理解析研究所講究録 (2004), 1381: 108-117 Issue Date 2004-06 URL http://hdlhandlenet/2433/25681
More informationConstructive decidability of classical continuity
Constructive decidability of classical continuity Martín H. Escardó Version of March 27, 2012 Abstract We show that the following instance of the principle of excluded holds: any function on the one-point
More informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More information2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α.
Chapter 2. Basic Topology. 2.3 Compact Sets. 2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α. 2.32 Definition A subset
More informationSigned-Bit Representations of Real Numbers
1 18 ISSN 1759-9008 1 Signed-Bit Representations of Real Numbers ROBERT S. LUBARSKY FRED RICHMAN Abstract: The signed-bit representation of real numbers is like the binary representation, but in addition
More informationProof by Contradiction
Proof by Contradiction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Proof by Contradiction Fall 2014 1 / 12 Outline 1 Proving Statements with Contradiction 2 Proving
More informationConstructive decidability of classical continuity
Constructive decidability of classical continuity Martín H. Escardó Version of January 9, 2013 Abstract We show that the following instance of the principle of excluded middle holds: any function on the
More informationConvexity and unique minimum points
Convexity and unique minimum points Josef Berger and Gregor Svindland February 17, 2018 Abstract We show constructively that every quasi-convex, uniformly continuous function f : C R with at most one minimum
More informationThe Arrow Impossibility Theorem Of Social Choice Theory In An Infinite Society And Limited Principle Of Omniscience
Applied Mathematics E-Notes, 8(2008), 82-88 c ISSN 1607-2510 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ The Arrow Impossibility Theorem Of Social Choice Theory In An Infinite
More informationADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS
J. OPERATOR THEORY 44(2000), 243 254 c Copyright by Theta, 2000 ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS DOUGLAS BRIDGES, FRED RICHMAN and PETER SCHUSTER Communicated by William B. Arveson Abstract.
More informationAxiom schema of Markov s principle preserves disjunction and existence properties
Axiom schema of Markov s principle preserves disjunction and existence properties Nobu-Yuki Suzuki Shizuoka University Computability Theory and Foundations of Mathematics 2015 September 7, 2015 (Tokyo,
More informationDistributivity of Quotients of Countable Products of Boolean Algebras
Rend. Istit. Mat. Univ. Trieste Volume 41 (2009), 27 33. Distributivity of Quotients of Countable Products of Boolean Algebras Fernando Hernández-Hernández Abstract. We compute the distributivity numbers
More informationCONVEXITY AND OSCULATION IN NORMED SPACES
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 43, Number 2, 2013 CONVEXITY AND OSCULATION IN NORMED SPACES MARK MANDELKERN ABSTRACT. Constructive properties of uniform convexity, strict convexity, near
More informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10
More informationShow Your Work! Point values are in square brackets. There are 35 points possible. Tables of tautologies and contradictions are on the last page.
Formal Methods Midterm 1, Spring, 2007 Name Show Your Work! Point values are in square brackets. There are 35 points possible. Tables of tautologies and contradictions are on the last page. 1. Use truth
More informationAn Introduction to Modal Logic III
An Introduction to Modal Logic III Soundness of Normal Modal Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 24 th 2013 Marco Cerami
More informationDiscrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques
Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques Colin Stirling Informatics Some slides based on ones by Myrto Arapinis Colin Stirling (Informatics) Discrete Mathematics
More informationDefining Valuation Rings
East Carolina University, Greenville, North Carolina, USA June 8, 2018 Outline 1 What? Valuations and Valuation Rings Definability Questions in Number Theory 2 Why? Some Questions and Answers Becoming
More informationUltrafilters with property (s)
Ultrafilters with property (s) Arnold W. Miller 1 Abstract A set X 2 ω has property (s) (Marczewski (Szpilrajn)) iff for every perfect set P 2 ω there exists a perfect set Q P such that Q X or Q X =. Suppose
More informationModal Logic of Forcing Classes
Outline CUNY Graduate Center Department of Mathematics March 11, 2016 Outline Outline 1 Outline 1 Modal Logic Background Modal Axioms K (ϕ ψ) ( ϕ ψ) T ϕ ϕ 4 ϕ ϕ.2 ϕ ϕ.3 ( ϕ ψ) [(ϕ ψ) (ψ ϕ)] 5 ϕ ϕ Modal
More informationarxiv: v2 [math.lo] 3 May 2018
arxiv:804.05495v2 [math.lo] 3 May 208 Constructive Reverse Mathematics version.2 Hannes Diener May, 208 0 Introduction 3 0. Constructive Mathematics................................. 3 0.2 Constructive
More informationTwitter: @Owen134866 www.mathsfreeresourcelibrary.com Prior Knowledge Check 1) Factorise each polynomial: a) x 2 6x + 5 b) x 2 16 c) 9x 2 25 2) Simplify the following algebraic fractions fully: a) x 2
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationALMOST DISJOINT AND INDEPENDENT FAMILIES. 1. introduction. is infinite. Fichtenholz and Kantorovich showed that there is an independent family
ALMOST DISJOINT AND INDEPENDENT FAMILIES STEFAN GESCHKE Abstract. I collect a number of proofs of the existence of large almost disjoint and independent families on the natural numbers. This is mostly
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationHomework 3: Solutions
Homework 3: Solutions ECS 20 (Fall 2014) Patrice Koehl koehl@cs.ucdavis.edu October 16, 2014 Exercise 1 Show that this implication is a tautology, by using a table of truth: [(p q) (p r) (q r)] r. p q
More informationReal Analysis - Notes and After Notes Fall 2008
Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start
More informationRelations and Functions (for Math 026 review)
Section 3.1 Relations and Functions (for Math 026 review) Objective 1: Understanding the s of Relations and Functions Relation A relation is a correspondence between two sets A and B such that each element
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More informationOn Local Non-Compactness in Recursive Mathematics
mlq header will be provided by the publisher On Local Non-Compactness in Recursive Mathematics Jakob Grue Simonsen Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1,
More informationCompact subsets of the Baire space
Compact subsets of the Baire space Arnold W. Miller Nov 2012 Results in this note were obtained in 1994 and reported on at a meeting on Real Analysis in Lodz, Poland, July 1994. Let ω ω be the Baire space,
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationa + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationMATH10040: Numbers and Functions Homework 1: Solutions
MATH10040: Numbers and Functions Homework 1: Solutions 1. Prove that a Z and if 3 divides into a then 3 divides a. Solution: The statement to be proved is equivalent to the statement: For any a N, if 3
More informationProperties of the Integers
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationOn The Model Of Hyperrational Numbers With Selective Ultrafilter
MSC 03H05 On The Model Of Hyperrational Numbers With Selective Ultrafilter A. Grigoryants Moscow State University Yerevan Branch February 27, 2019 Abstract In standard construction of hyperrational numbers
More informationCOMPUTATION IN AND ABOUT PHYSICS AND MATHEMATICS
COMPUTATION IN AND ABOUT PHYSICS AND MATHEMATICS SAM SANDERS Abstract. In Mathematics, the statement There exists an object x such that A(x) means that there is an object that satisfies the formula A,
More informationCSE 20 DISCRETE MATH WINTER
CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationCSE 20 DISCRETE MATH SPRING
CSE 20 DISCRETE MATH SPRING 2016 http://cseweb.ucsd.edu/classes/sp16/cse20-ac/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationModels of Computation. by Costas Busch, LSU
Models of Computation by Costas Busch, LSU 1 Computation CPU memory 2 temporary memory input memory CPU output memory Program memory 3 Example: f ( x) x 3 temporary memory input memory Program memory compute
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationω-stable Theories: Introduction
ω-stable Theories: Introduction 1 ω - Stable/Totally Transcendental Theories Throughout let T be a complete theory in a countable language L having infinite models. For an L-structure M and A M let Sn
More informationCSE 20 DISCRETE MATH. Winter
CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationMat 243 Exam 1 Review
OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for
More informationContradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730
MATH 2730 Contradiction Benjamin V.C. Collins James A. Swenson Contrapositive The contrapositive of the statement If A, then B is the statement If not B, then not A. A statement and its contrapositive
More informationIn 1854, Karl Weierstrauss gave an example of a continuous function which was nowhere di erentiable: cos(3 n x) 2 n. sin(3 n x), 2
Why non-pictured analysis? CHAPTER 1 Preliminaries f is continuous at x if lim f(x + h) = f(x) h!0 and f(x + h) f(x) f is di erentiable at x if lim h!0 h Then but Di erentiability =) continuity, continuity
More informationDiscrete Mathematics. Benny George K. September 22, 2011
Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and
More informationAmenable groups, Jacques Tits Alternative Theorem
Amenable groups, Jacques Tits Alternative Theorem Cornelia Druţu Oxford TCC Course 2014, Lecture 3 Cornelia Druţu (Oxford) Amenable groups, Alternative Theorem TCC Course 2014, Lecture 3 1 / 21 Last lecture
More informationEXTERNAL AUTOMORPHISMS OF ULTRAPRODUCTS OF FINITE MODELS
EXTERNAL AUTOMORPHISMS OF ULTRAPRODUCTS OF FINITE MODELS PHILIPP LÜCKE AND SAHARON SHELAH Abstract. Let L be a finite first-order language and M n n < ω be a sequence of finite L-models containing models
More informationBOOLEAN ALGEBRA INTRODUCTION SUBSETS
BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationModel Theory of Modal Logic Lecture 5. Valentin Goranko Technical University of Denmark
Model Theory of Modal Logic Lecture 5 Valentin Goranko Technical University of Denmark Third Indian School on Logic and its Applications Hyderabad, January 29, 2010 Model Theory of Modal Logic Lecture
More information1. (16 points) Circle T if the corresponding statement is True or F if it is False.
Name Solution Key Show All Work!!! Page 1 1. (16 points) Circle T if the corresponding statement is True or F if it is False. T F The sequence {1, 1, 1, 1, 1, 1...} is an example of an Alternating sequence.
More informationUniform Density Binary Words
Uniform Density Binary Words Lionel Levine September, 2000 Given a finite binary word a = a 1... a n and an irrational number α [0, 1], we say that a has uniform density α if (s r)α a i (s r)α for all
More informationIS 709/809: Computational Methods for IS Research. Math Review: Algorithm Analysis
IS 709/809: Computational Methods for IS Research Math Review: Algorithm Analysis Nirmalya Roy Department of Information Systems University of Maryland Baltimore County www.umbc.edu Topics Proof techniques
More information1. Foundations of Numerics from Advanced Mathematics. Mathematical Essentials and Notation
1. Foundations of Numerics from Advanced Mathematics Mathematical Essentials and Notation Mathematical Essentials and Notation, October 22, 2012 1 The main purpose of this first chapter (about 4 lectures)
More informationA Constructive Examination of Rectifiability
1 17 ISSN 1759-9008 1 A Constructive Examination of Rectifiability DOUGLAS S. BRIDGES MATTHEW HENDTLASS ERIK PALMGREN Abstract: We present a Brouwerian example showing that the classical statement Every
More informationA generalization of modal definability
A generalization of modal definability Tin Perkov Polytechnic of Zagreb Abstract. Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models
More informationFunctions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.
Chapter 4 Functions Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Definition 2 Let A and B be sets. A function from A to B is a relation f between A and B such that
More informationMONADIC FRAGMENTS OF INTUITIONISTIC CONTROL LOGIC
Bulletin of the Section of Logic Volume 45:3/4 (2016), pp. 143 153 http://dx.doi.org/10.18778/0138-0680.45.3.4.01 Anna Glenszczyk MONADIC FRAGMENTS OF INTUITIONISTIC CONTROL LOGIC Abstract We investigate
More informationA Sequent Calculus for Skeptical Reasoning in Autoepistemic Logic
A Sequent Calculus for Skeptical Reasoning in Autoepistemic Logic Robert Saxon Milnikel Kenyon College, Gambier OH 43022 USA milnikelr@kenyon.edu Abstract A sequent calculus for skeptical consequence in
More informationSOME TRANSFINITE INDUCTION DEDUCTIONS
SOME TRANSFINITE INDUCTION DEDUCTIONS SYLVIA DURIAN Abstract. This paper develops the ordinal numbers and transfinite induction, then demonstrates some interesting applications of transfinite induction.
More informationFundamentals of Mathematics (MATH 1510)
Fundamentals of Mathematics (MATH 1510) Instructor: Lili Shen Email: shenlili@yorku.ca Department of Mathematics and Statistics York University September 11, 2015 About the course Name: Fundamentals of
More informationModal logics and their semantics
Modal logics and their semantics Joshua Sack Department of Mathematics and Statistics, California State University Long Beach California State University Dominguez Hills Feb 22, 2012 Relational structures
More informationIsomorphisms of Non-Standard Fields and Ash s Conjecture
Isomorphisms of Non-Standard Fields and Ash s onjecture Rumen Dimitrov 1, Valentina Harizanov 2, Russell Miller 3, and K.J. Mourad 4 1 Department of Mathematics, Western Illinois University, Macomb, IL
More informationCS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati
CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati Important 1. No questions about the paper will be entertained during
More informationGeometric spaces with no points
1 10 ISSN 1759-9008 1 Geometric spaces with no points ROBERT S. LUBARSKY Abstract: Some models of set theory are given which contain sets that have some of the important characteristics of being geometric,
More informationInfinite Continued Fractions
Infinite Continued Fractions 8-5-200 The value of an infinite continued fraction [a 0 ; a, a 2, ] is lim c k, where c k is the k-th convergent k If [a 0 ; a, a 2, ] is an infinite continued fraction with
More informationMATH 271 Summer 2016 Practice problem solutions Week 1
Part I MATH 271 Summer 2016 Practice problem solutions Week 1 For each of the following statements, determine whether the statement is true or false. Prove the true statements. For the false statement,
More informationMATH 3300 Test 1. Name: Student Id:
Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your
More informationProblem List MATH 5143 Fall, 2013
Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was
More informationMath Real Analysis
1 / 28 Math 370 - Real Analysis G.Pugh Sep 3 2013 Real Analysis 2 / 28 3 / 28 What is Real Analysis? Wikipedia: Real analysis... has its beginnings in the rigorous formulation of calculus. It is a branch
More informationSemantic methods in proof theory. Jeremy Avigad. Department of Philosophy. Carnegie Mellon University.
Semantic methods in proof theory Jeremy Avigad Department of Philosophy Carnegie Mellon University avigad@cmu.edu http://macduff.andrew.cmu.edu 1 Proof theory Hilbert s goal: Justify classical mathematics.
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationThe Mountaintop Guru of Mathematics
The Mountaintop Guru of Mathematics New Directions in Boij-Söderberg Theory The cone of Betti diagrams over a hypersurface ring of low embedding dimension Courtney Gibbons University of Nebraska Lincoln
More informationAN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov
More informationREU 2007 Transfinite Combinatorics Lecture 9
REU 2007 Transfinite Combinatorics Lecture 9 Instructor: László Babai Scribe: Travis Schedler August 10, 2007. Revised by instructor. Last updated August 11, 3:40pm Note: All (0, 1)-measures will be assumed
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationChapter 3: Propositional Calculus: Deductive Systems. September 19, 2008
Chapter 3: Propositional Calculus: Deductive Systems September 19, 2008 Outline 1 3.1 Deductive (Proof) System 2 3.2 Gentzen System G 3 3.3 Hilbert System H 4 3.4 Soundness and Completeness; Consistency
More informationThe Countable Henkin Principle
The Countable Henkin Principle Robert Goldblatt Abstract. This is a revised and extended version of an article which encapsulates a key aspect of the Henkin method in a general result about the existence
More information