Question

Partially isomorphic but not isomorphic structures of the same cardinality

score 249 · Answer 1 · 2026-04-14 10:35:42

249

Views

Partially isomorphic but not isomorphic structures of the same cardinality

Published on 14 Apr 2026 - 10:35

score 448 · Answer 2 · 2026-04-11 12:47:57

448

Views

Second order ZFC, intuition required

Published on 11 Apr 2026 - 12:47

score 126 · Answer 3 · 2026-04-07 21:28:17

126

Views

How to prove that adding elements to a set does not affect its satisfiability?

Published on 07 Apr 2026 - 21:28

score 634 · Answer 4 · 2026-04-13 18:19:41

634

Views

Is my proof correct that $a < b \implies S(a) \leq b$?

Published on 13 Apr 2026 - 18:19

score 322 · Answer 5 · 2026-04-11 20:35:10

322

Views

Why can reversing the order of quantifiers in a statement change its truth value?

Published on 11 Apr 2026 - 20:35

score 44 · Answer 6 · 2026-03-25 14:26:53

44

Views

Clarification on theorem $(\forall x | R : P) \equiv (\forall x |: R \lor P \equiv P)$

Published on 25 Mar 2026 - 14:26

score 93 · Answer 7 · 2026-04-13 17:27:06

93

Views

Is there a set for which no defining formula can be found?

Published on 13 Apr 2026 - 17:27

score 163 · Answer 8 · 2026-04-14 03:31:06

163

Views

How to prove set equality based on the fact that the sets have identical truth tables?

Published on 14 Apr 2026 - 3:31

score 600 · Answer 9 · 2026-04-09 02:01:49

600

Views

A confusion about Church's simple theory of types and the Curry-Howard isomorphism

Published on 09 Apr 2026 - 2:01

score 111 · Answer 10 · 2026-03-25 09:28:36

111

Views

Proving that for $x \neq 0$ there exists a $y$ such that $S(y) = x$.

Published on 25 Mar 2026 - 9:28

score 379 · Answer 11 · 2026-04-14 05:32:40

379

Views

Proving this sequent using natural deduction

Published on 14 Apr 2026 - 5:32

score 209 · Answer 12 · 2026-04-08 16:10:27

209

Views

Logic in Computer Science - Define inclusive XOR by induction

Published on 08 Apr 2026 - 16:10

score 123 · Answer 13 · 2026-04-09 05:33:34

123

Views

How much of first order statements can we derive purely from the definitions in arithmetic?

Published on 09 Apr 2026 - 5:33

score 167 · Answer 14 · 2026-04-03 08:09:41

167

Views

Friday analysis of the unexpected hanging paradox

Published on 03 Apr 2026 - 8:09

score 244 · Answer 15 · 2026-04-14 13:04:10

244

Views

Explain in simple terms : $P \to (Q \lor R) $ is equivalent to $P \land\lnot Q \to R$

Published on 14 Apr 2026 - 13:04

List Question

Partially isomorphic but not isomorphic structures of the same cardinality

Second order ZFC, intuition required

How to prove that adding elements to a set does not affect its satisfiability?

Is my proof correct that $a < b \implies S(a) \leq b$?

Why can reversing the order of quantifiers in a statement change its truth value?

Clarification on theorem $(\forall x | R : P) \equiv (\forall x |: R \lor P \equiv P)$

Is there a set for which no defining formula can be found?

How to prove set equality based on the fact that the sets have identical truth tables?

A confusion about Church's simple theory of types and the Curry-Howard isomorphism

Proving that for $x \neq 0$ there exists a $y$ such that $S(y) = x$.

Proving this sequent using natural deduction

Logic in Computer Science - Define inclusive XOR by induction

How much of first order statements can we derive purely from the definitions in arithmetic?

Friday analysis of the unexpected hanging paradox

Explain in simple terms : $P \to (Q \lor R) $ is equivalent to $P \land\lnot Q \to R$

Trending Questions

Popular # Hahtags

Popular Questions