Studentu's user avatar
Studentu's user avatar
Studentu's user avatar
Studentu
  • Member for 6 years, 9 months
  • Last seen more than a month ago
4 votes
2 answers
95 views

Partial fraction expansion - handling multiple roots

3 votes
1 answer
823 views

Number of compositions of n into odd parts

3 votes
1 answer
241 views

Linearly ordering the power set of a well ordered set with ZF (without AC)

3 votes
2 answers
459 views

Solving combinatorial problems with symbolic method and generating functions

3 votes
0 answers
359 views

Formal proof of $\exists x (\exists y P(y) \rightarrow P(x))$ and $(\forall x \exists y R(x,y))\rightarrow (\forall y \exists x R(y,x))$

2 votes
1 answer
908 views

proof of formula with Peano-axioms

2 votes
2 answers
79 views

Construct a deductive system where $1^n$ is provable iff n is not prime

2 votes
3 answers
238 views

Formula so that $(\forall x \ \phi \rightarrow \forall x \ \psi) \rightarrow \forall x (\phi \rightarrow \psi)$ is not valid

2 votes
2 answers
203 views

proof that Ackermannfunction is uniquely defined and finding algorithm without recursions to calculate its values

2 votes
3 answers
189 views

proof that weak axiom of pairing and axiom schema of specification imply axiom of pairing

2 votes
0 answers
44 views

Fast Marching Method - How does the procedure start?

2 votes
1 answer
65 views

Is every finite orthomodular poset (which contains a zero element) atomistic?

1 vote
2 answers
133 views

formulas such that either "$\mathcal{M} \vDash \phi$, then $\mathcal{M} \vDash \psi$" or "$\mathcal{M} \vDash \phi \rightarrow \psi$"

1 vote
0 answers
24 views

How does the epsilon calculus allow for more condensed representations of proofs?

1 vote
1 answer
74 views

Generating functions (with symbol method) of special partitions of natural numbers

1 vote
1 answer
82 views

Finding exponential generating function of the family of specific trees using symbolic method

1 vote
1 answer
18 views

terminology regarding circuits

1 vote
1 answer
255 views

Mathematical model of spread of disease - exponential growth, herd immunity, and normal distribution [closed]

1 vote
1 answer
537 views

How/why does the ICP algorithm using quaternions work?

1 vote
1 answer
214 views

proof that specific disjoint sets are recursively enumerable, but don't lie in a decidable set and its complement

1 vote
0 answers
239 views

Proof that specific function is primitive recursive

1 vote
1 answer
197 views

consistent Henkin theory with language that has only one constant symbol

1 vote
1 answer
55 views

proof by finding suitable instances and resolution

1 vote
0 answers
51 views

Definition of the spectrum in first order logic

1 vote
1 answer
401 views

show that for every consistent theory there is a complete consistent theory

0 votes
1 answer
117 views

infinite and uncountable structures in specific classes of structures

0 votes
0 answers
99 views

properties of the spectrum in predicate logic

0 votes
1 answer
74 views

Special formula, term, structure and assignment

0 votes
1 answer
132 views

finding structures where the singleton axiom, the axiom of extensionality and the axiom of empty set do hold

0 votes
2 answers
451 views

proof that axiom of union and axiom of pairing imply weak axiom of union