2,630 reputation
1628
bio website jakitoimgeisterhaus.blogspot.…
location Munich, Germany
age 37
visits member for 2 years, 10 months
seen 3 hours ago

My past research interests included differential algebraic equations, nonlinear analysis and relations between symmetries and structural properties.

I recently investigated hierarchical structures, starting from group cohomology, continuing with semi-group theory and ending with lattices and universal algebra.


Jan
7
asked Relation between concept lattice and Dedekind–MacNeille completion
Jan
4
comment Is this a valid proposition?
@MohammadYaseen I added a short section at the start that doesn't assume familiarity with "first order logic". Let me also add that the Stanford Encyclopedia of Philosophy is an excellent online source for many logic topics not covered in most introductory logic textbooks. It has no entry for "first order logic"/"predicate calculus", but the following entry on the history of proof theory contains interesting informations, and at least touches upon many subjects related to first order logic.
Jan
4
reviewed Approve suggested edit on How can I find the following limit: $\lim\limits_{x\to \:4}\frac{\sqrt{x+5}-3}{x-4}$
Jan
4
revised Is this a valid proposition?
tried to add a short version without much preliminaries
Jan
4
comment Is this a valid proposition?
If you don't know "first order logic" (also known as predicate calculus), then my answer is not appropriate for you, and I doubt that "simpler terms" would help in this case. In that case, please forget immediately that I even dared to mention "modal logic". Even if you know "first order logic", it's better not to care too much about the "modal logic" part, because it's more of interest for philosophers. I could recommend you excellent books about logic in German. For English literature, Peter Smith wrote the excellent Teach Yourself Logic: A Study Guide!
Jan
4
reviewed Reject suggested edit on Expected Value of SDE
Jan
4
answered Is this a valid proposition?
Jan
4
comment Is this a valid proposition?
@Gina May I remind you that formula are allowed to contain free variables? A formula with no free variables is called a sentence. So if x is a constant, then yes it is a well-formed sentence. And to disappoint you even further, in first-order logic, the propositions are the formulas, i.e. there can be free variables. So the confusion is probably related to what "free variable" means in first-order logic.
Jan
3
comment Are there intensional classes independent of the set universe?
@CarlMummert The class of all sets certainly is a proper class, but is its "listing" of properties really independent of the set universe? In that case, the "listing" should probably be empty. But are the axioms of ZFC sufficient to ensure this? If not, is it even possible to give a c.e. axiom set that achieves this? If we drop the condition that the class has to be a proper class, we might also ask whether the hereditarily finite sets are purely intensional, i.e. whether the "listing" of their properties is independent of the set universe. I guess they are in ZFC, but that's another question.
Jan
2
comment Are there intensional classes independent of the set universe?
@LawrenceWong By purely extensional, I mean that the set can be defined by "listing" its elements, and its elements themselfes are also purely extensional. By "listing" its elements, I mean that the elements will be "the same" (up to isomorphism), independent of the set universe.
Jan
2
reviewed Looks Good Find max: $\frac{a}{b+2a}+\frac{b}{c+2b}+\frac{c}{a+2c}$
Jan
2
reviewed Looks Good Find max: $M=\frac{a}{b^2+c^2+a}+\frac{b}{c^2+a^2+b}+\frac{c}{a^2+b^2+c}$
Jan
2
reviewed Looks Good Prove, that f is a linear map.
Jan
1
revised Are there intensional classes independent of the set universe?
The class of all sets with two elements is a nicer example of what worries me?
Jan
1
asked Are there intensional classes independent of the set universe?
Dec
19
comment meaning of differentiation of stochastic process
@cabri61 Because Brownian motion is (in a suitable sense) nowhere differentiable, thinking about tangent lines won't help. However, if you understand the Stieltjes integral and the corresponding Stieltjes measure, then you might be able to appreciate an interpretation of $dX_t$ as a (stochastic) measure. (I say stochastic measure, because it's $dX_t(\omega)$, if we are careful about notation. I don't know whether $dX_t(\omega)$ is almost surely a Stieltjes measure for fixed $\omega$, but I guess not.)
Dec
19
answered meaning of differentiation of stochastic process
Dec
6
comment Is there a useful definition of minors for digraphs?
@ShivaKintali Are you sure? No digraph in the infinite list contains a source or a sink. It seems to me that the digraph obtained via "Source Contraction" will contain at least one source, and I don't see how you will be able to get back to a source and sink free digraph. In addition, all contraction operations from the paper seem to be compatible with the notion of digraph minor used in the answer. Hence I would be surprised if the counterexample didn't apply.
Dec
6
comment Is there a useful definition of minors for digraphs?
Shiva Kintali introduces a paper about Forbidden Directed Minors and Kelly-width and announces "As mentioned in the paper, I have a series of upcoming papers (called Directed Minors) making progress towards a directed graph minor theorem (i.e., all digraphs are well-quasi-ordered by the directed minor relation)." It might be interesting to see whether the counterexample given under Edit 2 below also applies to his notion of directed minor relation.
Dec
6
comment Is there a useful definition of minors for digraphs?
The diploma thesis Über Minoren gerichteter Graphen by Steffen Seidler might be illuminating, especially if German is your first language.