User Studentu

4 votes

2 answers

89 views

Partial fraction expansion - handling multiple roots

asked Sep 18, 2019 at 21:53

3 votes

1 answer

763 views

Number of compositions of n into odd parts

asked Sep 19, 2019 at 15:31

3 votes

1 answer

236 views

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

asked Jan 21, 2019 at 6:09

3 votes

2 answers

446 views

Solving combinatorial problems with symbolic method and generating functions

asked Mar 21, 2019 at 18:06

3 votes

0 answers

336 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))$

asked Nov 9, 2018 at 15:01

2 votes

1 answer

897 views

proof of formula with Peano-axioms

asked Nov 24, 2018 at 14:48

2 votes

2 answers

79 views

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

asked Oct 28, 2018 at 16:58

2 votes

3 answers

225 views

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

asked Nov 2, 2018 at 21:17

2 votes

2 answers

184 views

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

asked Dec 16, 2018 at 18:33

2 votes

3 answers

187 views

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

asked Jan 12, 2019 at 17:34

2 votes

0 answers

43 views

Fast Marching Method - How does the procedure start?

asked May 18, 2019 at 23:56

2 votes

1 answer

62 views

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

asked Jul 12, 2021 at 0:34

1 vote

2 answers

131 views

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

asked Nov 8, 2018 at 21:49

1 vote

0 answers

24 views

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

asked Sep 25 at 12:23

1 vote

1 answer

74 views

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

asked Sep 22, 2019 at 13:43

1 vote

1 answer

82 views

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

asked Sep 23, 2019 at 14:29

1 vote

1 answer

18 views

terminology regarding circuits

asked Jan 21, 2020 at 14:09

1 vote

1 answer

249 views

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

asked Mar 19, 2020 at 23:28

1 vote

1 answer

515 views

How/why does the ICP algorithm using quaternions work?

asked Jan 17, 2019 at 0:27

1 vote

1 answer

206 views

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

asked Dec 26, 2018 at 2:03

1 vote

0 answers

235 views

Proof that specific function is primitive recursive

asked Dec 30, 2018 at 17:29

1 vote

1 answer

190 views

consistent Henkin theory with language that has only one constant symbol

asked Dec 1, 2018 at 22:26

1 vote

1 answer

53 views

proof by finding suitable instances and resolution

asked Dec 9, 2018 at 20:37

1 vote

0 answers

51 views

Definition of the spectrum in first order logic

asked Oct 28, 2018 at 16:20

1 vote

1 answer

390 views

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

asked Nov 24, 2018 at 17:47

0 votes

1 answer

115 views

infinite and uncountable structures in specific classes of structures

asked Dec 1, 2018 at 22:02

0 votes

0 answers

98 views

properties of the spectrum in predicate logic

asked Oct 27, 2018 at 23:14

0 votes

1 answer

74 views

Special formula, term, structure and assignment

asked Nov 2, 2018 at 21:42

0 votes

1 answer

132 views

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

asked Dec 26, 2018 at 1:33

0 votes

2 answers

436 views

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

asked Jan 12, 2019 at 15:48

Stack Exchange Network

41 Questions

Partial fraction expansion - handling multiple roots

Number of compositions of n into odd parts

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

Solving combinatorial problems with symbolic method and generating functions

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))$

proof of formula with Peano-axioms

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

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

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

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

Fast Marching Method - How does the procedure start?

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

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

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

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

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

terminology regarding circuits

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

How/why does the ICP algorithm using quaternions work?

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

Proof that specific function is primitive recursive

consistent Henkin theory with language that has only one constant symbol

proof by finding suitable instances and resolution

Definition of the spectrum in first order logic

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

infinite and uncountable structures in specific classes of structures

properties of the spectrum in predicate logic

Special formula, term, structure and assignment

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

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