Question

Why an empty List of first-order theories is consistent?

score 42 · Answer 1 · 2018-07-09 22:44:00

42

Views

Why an empty List of first-order theories is consistent?

Published on 09 Jul 2018 - 22:44

score 174 · Answer 2 · 2026-03-25 07:58:46

174

Views

How to determine a FOL structure which satisfies a given formula

Published on 25 Mar 2026 - 7:58

score 104 · Answer 3 · 2018-07-11 20:04:23

104

Views

Adding enough sets to get a model of ZF

Published on 11 Jul 2018 - 20:04

score 100 · Answer 4 · 2026-03-25 08:05:02

100

Views

Complete theory with quantifier elimination has finite boolean algebra

Published on 25 Mar 2026 - 8:05

score 264 · Answer 5 · 2018-07-14 01:40:56

264

Views

Is consistency of ZFC compatible with all models being proper classes?

Published on 14 Jul 2018 - 1:40

score 98 · Answer 6 · 2018-07-14 16:49:22

98

Views

Preservation of multiplicity of roots by $F$-morphisms between field extensions

Published on 14 Jul 2018 - 16:49

score 295 · Answer 7 · 2018-07-15 15:20:04

295

Views

Union of a strictly increasing sequence of closed theories in a finite language has an infinite model

Published on 15 Jul 2018 - 15:20

score 356 · Answer 8 · 2018-07-15 17:45:30

356

Views

Describing all models of the theory of $(\mathbb{Z}, =, S, 0)$

Published on 15 Jul 2018 - 17:45

score 195 · Answer 9 · 2018-07-17 20:38:08

195

Views

Does a downward chain of models of ZFC violate the axiom of foundation?

Published on 17 Jul 2018 - 20:38

score 321 · Answer 10 · 2018-07-21 14:56:46

321

Views

If a theory $T$ has a model that satisfies sentence $s$, does every model of $T$ satisfy $s$?

Published on 21 Jul 2018 - 14:56

score 954 · Answer 11 · 2018-07-23 01:06:30

954

Views

If a theory has a model, does a theory have to be consistent?

Published on 23 Jul 2018 - 1:06

score 412 · Answer 12 · 2018-07-23 12:36:34

412

Views

Why use the term 'models' to interpret the double turnstile symbol?

Published on 23 Jul 2018 - 12:36

score 594 · Answer 13 · 2018-07-23 18:51:33

594

Views

is first-order logic with constants equally expressive as first-order logic without constants?

Published on 23 Jul 2018 - 18:51

score 269 · Answer 14 · 2018-07-25 08:55:10

269

Views

Let P and Q represent formulas. Would stuff like $(P \wedge \neg P) \models Q$ make sense?

Published on 25 Jul 2018 - 8:55

score 100 · Answer 15 · 2018-07-26 01:21:36

100

Views

Why are logics related to lattices and algebras? What can be said about this relationship?

Published on 26 Jul 2018 - 1:21

List Question

Why an empty List of first-order theories is consistent?

How to determine a FOL structure which satisfies a given formula

Adding enough sets to get a model of ZF

Complete theory with quantifier elimination has finite boolean algebra

Is consistency of ZFC compatible with all models being proper classes?

Preservation of multiplicity of roots by $F$-morphisms between field extensions

Union of a strictly increasing sequence of closed theories in a finite language has an infinite model

Describing all models of the theory of $(\mathbb{Z}, =, S, 0)$

Does a downward chain of models of ZFC violate the axiom of foundation?

If a theory $T$ has a model that satisfies sentence $s$, does every model of $T$ satisfy $s$?

If a theory has a model, does a theory have to be consistent?

Why use the term 'models' to interpret the double turnstile symbol?

is first-order logic with constants equally expressive as first-order logic without constants?

Let P and Q represent formulas. Would stuff like $(P \wedge \neg P) \models Q$ make sense?

Why are logics related to lattices and algebras? What can be said about this relationship?

Trending Questions

Popular # Hahtags

Popular Questions