Question

If $\Sigma \models \phi$, then for some finite $\Delta \subset\Sigma$, $\Delta \models \phi$.

score 877 · Answer 1 · 2026-03-26 10:46:11

877

Views

If $\Sigma \models \phi$, then for some finite $\Delta \subset\Sigma$, $\Delta \models \phi$.

Published on 26 Mar 2026 - 10:46

score 63 · Answer 2 · 2018-12-09 09:12:38

63

Views

First Order Logic: how to prove the formula?

Published on 09 Dec 2018 - 9:12

score 56 · Answer 3 · 2026-03-25 15:45:22

56

Views

proof by finding suitable instances and resolution

Published on 25 Mar 2026 - 15:45

score 52 · Answer 4 · 2026-03-26 06:22:19

52

Views

What do sentences in the theory of the structure $A=(Q,<,n)_{n \in N}$ look like?

Published on 26 Mar 2026 - 6:22

score 125 · Answer 5 · 2026-03-25 21:51:10

125

Views

Can we derive a large cardinal axiom by a principle of isomorphism between cardinals and ordinals

Published on 25 Mar 2026 - 21:51

score 95 · Answer 6 · 2026-03-25 21:51:08

95

Views

What is the consistency strength of Ackermann + the following cardinals to ordinals isomorphism?

Published on 25 Mar 2026 - 21:51

score 1.8k · Answer 7 · 2018-12-10 20:20:06

1.8k

Views

First-order logic formula(prime numbers)

Published on 10 Dec 2018 - 20:20

score 287 · Answer 8 · 2026-03-26 12:07:00

287

Views

Find non-isomorphic models of $(Q,<,c_{n \in N})$

Published on 26 Mar 2026 - 12:07

score 204 · Answer 9 · 2026-03-25 06:10:52

204

Views

Taking an unproven but "seemingly true" statement as an axiom

Published on 25 Mar 2026 - 6:10

score 53 · Answer 10 · 2018-12-13 09:22:25

53

Views

Write in Logic: If professors are unhappy all students fail their exams

Published on 13 Dec 2018 - 9:22

score 23 · Answer 11 · 2018-12-13 15:08:50

23

Views

writing in Logic: the following sentences

Published on 13 Dec 2018 - 15:08

score 178 · Answer 12 · 2026-03-26 10:41:34

178

Views

The structure $(\mathbb N, <, f)_{f\in \mathcal F}$ seems to have no elementary extension

Published on 26 Mar 2026 - 10:41

score 1.2k · Answer 13 · 2026-03-29 05:10:41

1.2k

Views

Free vs. bound variables in first order logic

Published on 29 Mar 2026 - 5:10

score 267 · Answer 14 · 2026-03-26 12:15:35

267

Views

A theory $T$ is model-complete if the union of $T$ with an atomic diagram is complete

Published on 26 Mar 2026 - 12:15

score 190 · Answer 15 · 2018-12-16 12:29:08

190

Views

Which are concepts undefined? which are symbols in the language of set theory?

Published on 16 Dec 2018 - 12:29

List Question

If $\Sigma \models \phi$, then for some finite $\Delta \subset\Sigma$, $\Delta \models \phi$.

First Order Logic: how to prove the formula?

proof by finding suitable instances and resolution

What do sentences in the theory of the structure $A=(Q,<,n)_{n \in N}$ look like?

Can we derive a large cardinal axiom by a principle of isomorphism between cardinals and ordinals

What is the consistency strength of Ackermann + the following cardinals to ordinals isomorphism?

First-order logic formula(prime numbers)

Find non-isomorphic models of $(Q,<,c_{n \in N})$

Taking an unproven but "seemingly true" statement as an axiom

Write in Logic: If professors are unhappy all students fail their exams

writing in Logic: the following sentences

The structure $(\mathbb N, <, f)_{f\in \mathcal F}$ seems to have no elementary extension

Free vs. bound variables in first order logic

A theory $T$ is model-complete if the union of $T$ with an atomic diagram is complete

Which are concepts undefined? which are symbols in the language of set theory?

Trending Questions

Popular # Hahtags

Popular Questions