234,530 reputation
24232456
bio website
location Cleveland Heights, OH
age 66
visits member for 3 years, 1 month
seen Jan 2 at 12:05

Professor emeritus at Cleveland State University. I’m a set-theoretic and general topologist with an interest in combinatorics. I’m also interested in linguistics, especially historical linguistics.


Dec
20
revised How many complete theory extend theory T are there?
LaTeX.
Dec
20
revised Order type of standard models of arithmetic
added 480 characters in body
Dec
19
revised A proof using $\Delta^ny(t)=\sum_{k=0}^{n}{(-1)^k\dbinom{n}{k}y(t+n-k)}$
added 360 characters in body
Dec
18
revised What can we learn purely from the existence of a (non-constant) functor to the category of abelian groups?
edited tags
Dec
18
revised Morphic Image of a Complete Variety
edited tags
Dec
18
revised GRE Question [Word Problem]
added 670 characters in body
Dec
18
revised Let $d$ be a positive odd integer. Prove that there exists a positive $n \le d$ such that $d | 2^n − 1$.
added 89 characters in body
Dec
18
revised Let $d$ be a positive odd integer. Prove that there exists a positive $n \le d$ such that $d | 2^n − 1$.
added 89 characters in body
Dec
18
revised Sets question on intersection of infinite sets
LaTeX.
Dec
17
revised How many of $A\subseteq B$ are true for a set of $n$ elements
LaTeX.
Dec
17
revised Converting Context Free Grammar to Chomsky Normal Form
LaTeX, incorporated OP’s comment.
Dec
17
revised Do you have some hints as to how to solve the following problem?
rolled back to a previous revision
Dec
17
revised Maths recursive defintition
Cleaned up some typos, replaced * with ·.
Dec
17
revised Do you have some hints as to how to solve the following problem?
LaTeX, formatting, some editing to make it more understandable.
Dec
16
revised continuity problem
LaTeX, imported image.
Dec
16
revised Translate some papers from German to English
Corrected translation of Verhältnis.
Dec
16
revised Check if a regex is ambiguous
LaTeX.
Dec
16
revised Functions from the space of subsets of a set to the space of topologies
added 1517 characters in body
Dec
16
revised Verify that $\bigl(p\to(q\to r)\bigr)\to \bigl((p\to q)\to (p\to r)\bigr)$ is a tautology.
Corrected notation.
Dec
16
revised Verify that $\bigl(p\to(q\to r)\bigr)\to \bigl((p\to q)\to (p\to r)\bigr)$ is a tautology.
Improved formatting.