Questions tagged [set-theory]

For questions about set theory topics typically studied at the advanced undergraduate or graduate level. These include cofinality, axioms of ZFC, axiom of choice, forcing, set-theoretic independence, large cardinals, models of set theory, ultrafilters, ultrapowers, constructible universe, inner model theory, definability, infinite combinatorics, transfinite hierarchies, etc.

Filter by
Sorted by
Tagged with
-1 votes
5 answers
289 views

Is it considered a mistake to use different correct notation for writing intervals?

Standard definition of writing interval states that it should be written (a,b) where a<b Due to this being arbitrary and just a convention that we all use, would it be considered a mistake to write ...
user avatar
1 vote
1 answer
182 views

Mnemonics to correlate the definition of "asymmetric relation" and "antisymmetric relation" with the terms [closed]

The definitions from Kenneth Rosen textbook are as : A relation $R$ on a set $A$ such that for all $a,b ∈ A$ ,if $(a,b) ∈ R$ and $(b,a) ∈ R$,then $a=b$ is called antisymmetric. A relation $R$ on a ...
user avatar
1 vote
2 answers
238 views

Workbooks for advanced high school math topics

I'm looking for advanced workbooks and exercises for working in class (math high school/undergraduate level) covering the following topics (or some of them): Logic and sets (propositional calculus, ...
user avatar
  • 103
15 votes
8 answers
5k views

Fun set theory for kids

Are there some fun results in set theory to set as landmarks while introducing to kids? For example, while introducing graph theory to kids, I could explain isomorphism via a pentagon and pentagram, ...
user avatar
  • 533
-2 votes
1 answer
96 views

Where can I find the partial order relation of prerequisites of undergraduate courses in the United States?

Let $A$ be the set of all undergraduate mathematical courses in the US and define a binary relation $\leq$ on $A$ such that for elements $a,b\in A$ (that is, $a$, $b$ are undergraduate mathematical ...
user avatar
  • 4,015
5 votes
7 answers
383 views

Category mistakes regarding symbols and their impact on math (mis) understanding. ( Object symbol/ sentence symbol confusion)

A friend of mine that teaches math has made many times the following experiment : drawing two circles on the blackboard representing two sets A and B such that A and B are disjoint writing on the ...
user avatar
-2 votes
1 answer
202 views

What is the best way of introducing set theory? [closed]

The students are aware of mathematical logic and proof but have not come across any of the notions of a set. What is the most natural and motivating way to introduce set theory?
user avatar
  • 1,225
0 votes
1 answer
340 views

When self teaching, should I learn set theory before continuing ap calculus?

I am studying ap calculus now, before I move onto differential equations etc., but the thing I am unsure of is, should I learn set theory before continuing on my ap calculus sections?
user avatar
  • 51
9 votes
4 answers
1k views

Why is set theory not taught at the outset of math education?

A beginner in math, reading Badiou, I found the following quote on set theory in Being and Event: The axiomatization consists in fixing the usage of the relation of belonging, $\in$, to which the ...
user avatar
14 votes
8 answers
2k views

Cognitive traps in very early set theory

As of last year, I began teaching a course in theoretical computer science, and one of the topics that we cover is sets. In particular, we go over: the actions $\cup$, $\cap$, and $-$, ...
user avatar
  • 351
-3 votes
3 answers
661 views

How can I convince my brightest student of Cantor's theory?

At the end of the mathematical high-school education I usually introduce the easiest facts of set theory: counbtability and Cantor's proof as the basis of modern mathematics. Now my brightest student ...
user avatar
1 vote
3 answers
99 views

Determining sets to show sufficiency of a condition?

$p \to q$ that means (among others) $p$ is a sufficient condition for $q$. To show the sufficiency, I teach my study by determining the set for $p$, the set for $q$ first and comparing their ...
user avatar
12 votes
2 answers
634 views

What to teach in Set Theory & Logic Course

I will be teaching a third-year introductory course on Set Theory and Logic soon and was hoping to get advice from this community. I would rate my students' proof abilities as weak and was hoping to ...
user avatar
  • 221
6 votes
2 answers
324 views

Cartesian product set

I'm preparing a task on the Cartesian product of two sets and I have run into the following confusion: I understand that the Cartesian product is not a commutative operation. Generally speaking, AxB ...
user avatar
  • 61
4 votes
1 answer
190 views

On using different notations for the same objects

Historically, in set theory we use two different notations to refer set theoretically same objects $\aleph_{\alpha}$ and $\omega_{\alpha}$. The folklore justification of this dual notation is that we ...
user avatar
9 votes
2 answers
668 views

What caused the (relatively) recent popularity of set theory?

When I was growing up during the 1960s, "set builder notation" constituted a large part of what was then the "new math." Question: When and why did "set theory" become popular in math education? ...
user avatar
  • 1,500
3 votes
2 answers
845 views

Examples of cultural limitations on math education

Based on Maggie Koerth-Baker's article, "What do Christian fundamentalists have against set theory?", it seems there are some parts of culture which put some restrictions on math education. ...
user avatar
19 votes
6 answers
910 views

What is a number?

In a set theoretic point of view all mathematical objects are sets. We "call" some of them as numbers (e.g. sets in $\mathbb{N}$, $\mathbb{Q}$, $\mathbb{R}$, $\mathbb{C}$, $Ord$, $Card$) but what is ...
user avatar
25 votes
16 answers
2k views

How to motivate equivalence classes

Equivalence classs are very useful in mathematics, but many of the applications require further background, like quotient spaces in topology or quotient groups in algebra. One good example is residue ...
user avatar
29 votes
13 answers
7k views

What do you say to students who want to apply Banach-Tarski theorem in practice?

Once when I was talking about Banach-Traski theorem (paradox) I said: OK! This is Banach-Tarski's theorem which is against our intuition but provable from our intuitive axioms! It says you can ...
user avatar
20 votes
11 answers
1k views

How can I familiarize elementary school students with infinities larger than $\aleph_0$?

Cantor's discovery of the existence of more than one infinity was a revolutionary change in human knowledge. He defined the notion of counting by bijections and showed that one can use infinities as ...
user avatar