Question

What interesting graph theoretic statements can be expressed in first order logic (with just the edge relation)?

score 46 · Answer 1 · 2020-04-15 22:05:21

What interesting graph theoretic statements can be expressed in first order logic (with just the edge relation)?

Published on 15 Apr 2020 - 22:05

score 63 · Answer 2 · 2020-04-16 05:16:22

Show that $\bigcap_{n\in \mathbb{N^*}}\left(\bigcup_{k\geq n}A_k\right)=\bigcup_{n\in\mathbb{N^*}}A_n$ given that $A_k\subseteq A_{k+1}$

score 69 · Answer 3 · 2020-04-16 06:39:46

69

Views

How to translate "The mayor has (exactly) two cats" into first-order logic?

Published on 16 Apr 2020 - 6:39

score 127 · Answer 4 · 2026-03-31 03:33:33

127

Views

If a sentence $\varphi$ is true in all enumerable models, then is $\varphi$ true in all non-enumerable models too?

Published on 31 Mar 2026 - 3:33

score 384 · Answer 5 · 2026-03-25 15:54:31

384

Views

First Order Logic Proof

Published on 25 Mar 2026 - 15:54

score 46 · Answer 6 · 2026-03-27 01:00:05

46

Views

Find the mistake on the "proof" that $\exists x(\neg p(x)\land\neg q(x))\implies\exists x\,\neg p(x)\land\exists x\,\neg q(x)$

Published on 27 Mar 2026 - 1:00

score 115 · Answer 7 · 2026-03-26 06:27:51

115

Views

About First Order Logic an Godel incompleness theory.

Published on 26 Mar 2026 - 6:27

score 40 · Answer 8 · 2020-04-17 08:42:54

40

Views

Some doubts regarding consistency of an axiomatic system

Published on 17 Apr 2020 - 8:42

score 109 · Answer 9 · 2020-04-17 12:10:21

109

Views

Can we have a well ordering on the universe of sets that has set membership as a sub-relation of it?

Published on 17 Apr 2020 - 12:10

score 34 · Answer 10 · 2020-04-17 12:15:17

34

Views

Notational problems while proving for every integer $m$ that $3m^5$ is even.

Published on 17 Apr 2020 - 12:15

score 40 · Answer 11 · 2026-03-25 12:50:15

40

Views

What are the interesting models of this theory other than those of ZFC + (V=L)?

Published on 25 Mar 2026 - 12:50

score 310 · Answer 12 · 2026-03-26 09:18:08

310

Views

Proving $\forall x\forall y(P(x) \to Q(y)) \vdash \exists x(P(x) \to \forall y \, Q(y))$ using natural deduction.

Published on 26 Mar 2026 - 9:18

score 33 · Answer 13 · 2020-04-18 01:56:26

33

Views

Which of these are tautologies in First-Order Logic?

Published on 18 Apr 2020 - 1:56

score 88 · Answer 14 · 2026-03-28 03:52:52

88

Views

What is the least order type of this set?

Published on 28 Mar 2026 - 3:52

score 235 · Answer 15 · 2026-03-27 22:03:59

235

Views

Why is the simplest set satisfying The Axiom of Infinity the von Neumann ordinals?

Published on 27 Mar 2026 - 22:03

List Question

What interesting graph theoretic statements can be expressed in first order logic (with just the edge relation)?

Show that $\bigcap_{n\in \mathbb{N^}}\left(\bigcup_{k\geq n}A_k\right)=\bigcup_{n\in\mathbb{N^}}A_n$ given that $A_k\subseteq A_{k+1}$

How to translate "The mayor has (exactly) two cats" into first-order logic?

If a sentence $\varphi$ is true in all enumerable models, then is $\varphi$ true in all non-enumerable models too?

First Order Logic Proof

Find the mistake on the "proof" that $\exists x(\neg p(x)\land\neg q(x))\implies\exists x\,\neg p(x)\land\exists x\,\neg q(x)$

About First Order Logic an Godel incompleness theory.

Some doubts regarding consistency of an axiomatic system

Can we have a well ordering on the universe of sets that has set membership as a sub-relation of it?

Notational problems while proving for every integer $m$ that $3m^5$ is even.

What are the interesting models of this theory other than those of ZFC + (V=L)?

Proving $\forall x\forall y(P(x) \to Q(y)) \vdash \exists x(P(x) \to \forall y \, Q(y))$ using natural deduction.

Which of these are tautologies in First-Order Logic?

What is the least order type of this set?

Why is the simplest set satisfying The Axiom of Infinity the von Neumann ordinals?

Trending Questions

Popular # Hahtags

Popular Questions