Question

Need help for a proof in propositional logic about the relevant parts of a valuation.

score 74 · Answer 1 · 2017-10-24 09:49:16

74

Views

Need help for a proof in propositional logic about the relevant parts of a valuation.

Published on 24 Oct 2017 - 9:49

score 285 · Answer 2 · 2017-12-08 05:41:23

285

Views

Are there situations where "isomorphism implies elementary equivalence" fails?

Published on 08 Dec 2017 - 5:41

score 36 · Answer 3 · 2018-01-05 01:51:11

36

Views

closed terms in $\mathcal{N}^*$ are the natural numbers

Published on 05 Jan 2018 - 1:51

score 96 · Answer 4 · 2020-10-21 19:51:59

96

Views

Judgment-level negation $\nvdash$

Published on 21 Oct 2020 - 19:51

score 106 · Answer 5 · 2026-03-24 05:22:57

106

Views

Unique parsing means?

Published on 24 Mar 2026 - 5:22

score 1.8k · Answer 6 · 2020-11-13 17:04:30

1.8k

Views

Expressing "does not imply''

Published on 13 Nov 2020 - 17:04

score 1.4k · Answer 7 · 2020-11-28 15:46:52

1.4k

Views

What is the difference between $\leftrightarrow$, $\iff$, and $\equiv$, especially when used in the same text?

Published on 28 Nov 2020 - 15:46

score 304 · Answer 8 · 2020-12-27 02:03:29

304

Views

In what formal system is Godel's Incompleteness Theorem (or similar statements of undecidability) proven?

Published on 27 Dec 2020 - 2:03

score 58 · Answer 9 · 2021-01-08 03:39:06

58

Views

Do some rules of syntax permit a sentence to literally be an element of a set?

Published on 08 Jan 2021 - 3:39

score 87 · Answer 10 · 2021-03-17 14:10:18

87

Views

How to show that the intersection of two elementary classes is a elementary class

Published on 17 Mar 2021 - 14:10

score 147 · Answer 11 · 2021-03-25 18:19:57

147

Views

Intuition behind structural weakening

Published on 25 Mar 2021 - 18:19

score 159 · Answer 12 · 2021-04-15 07:47:04

159

Views

Show that gamma has a model if and only if each set in gamma has a model

Published on 15 Apr 2021 - 7:47

score 124 · Answer 13 · 2021-04-15 19:50:06

124

Views

Consequence of Löwenheim-Skolem theorem

Published on 15 Apr 2021 - 19:50

score 144 · Answer 14 · 2021-04-16 22:15:41

144

Views

Prove that if two theories have the same countably infinite models, then they have the same models of each infinite cardinality.

Published on 16 Apr 2021 - 22:15

score 361 · Answer 15 · 2021-04-18 23:24:39

361

Views

Show that the compactness theorem does not apply to infinite logic

Published on 18 Apr 2021 - 23:24

List Question

Need help for a proof in propositional logic about the relevant parts of a valuation.

Are there situations where "isomorphism implies elementary equivalence" fails?

closed terms in $\mathcal{N}^*$ are the natural numbers

Judgment-level negation $\nvdash$

Unique parsing means?

Expressing "does not imply''

What is the difference between $\leftrightarrow$, $\iff$, and $\equiv$, especially when used in the same text?

In what formal system is Godel's Incompleteness Theorem (or similar statements of undecidability) proven?

Do some rules of syntax permit a sentence to literally be an element of a set?

How to show that the intersection of two elementary classes is a elementary class

Intuition behind structural weakening

Show that gamma has a model if and only if each set in gamma has a model

Consequence of Löwenheim-Skolem theorem

Prove that if two theories have the same countably infinite models, then they have the same models of each infinite cardinality.

Show that the compactness theorem does not apply to infinite logic

Trending Questions

Popular # Hahtags

Popular Questions