### Questions (26)

 3 Linearly ordering the power set of a well ordered set with ZF (without AC) 3 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 Solving combinatorial problems with symbolic method and generating functions 2 proof of formula with Peano-axioms 2 Formula so that $(\forall x \ \phi \rightarrow \forall x \ \psi) \rightarrow \forall x (\phi \rightarrow \psi)$ is not valid

### Reputation (144)

 +5 Fast Marching Method - How does the procedure start? +10 Solving combinatorial problems with symbolic method and generating functions +5 show that for every consistent theory there is a complete consistent theory +5 Linearly ordering the power set of a well ordered set with ZF (without AC)

### Answers (0)

This user has not answered any questions

### Tags (44)

 0 predicate-logic × 13 0 computability × 4 0 logic × 12 0 formal-proofs × 4 0 first-order-logic × 11 0 model-theory × 3 0 proof-theory × 5 0 examples-counterexamples × 3 0 recursion × 4 0 elementary-set-theory × 3

### Accounts (3)

 Mathematics 144 rep 9 Stack Overflow 90 rep 1110 TeX - LaTeX 1 rep

### Badges (9)

 Tumbleweed Custodian Curious Student Commentator Editor Scholar Informed Supporter

### Active bounties (0)

This user has no active bounties

### Votes cast (41)

all time   by type
41 up 9 question
0 down 32 answer