Question

What is the minimal axiomatization of a set of structures?

score 195 · Answer 1 · 2026-03-26 12:54:05

195

Views

What is the minimal axiomatization of a set of structures?

Published on 26 Mar 2026 - 12:54

score 625 · Answer 2 · 2012-02-18 22:03:24

625

Views

Give an example of a homogeneous, but not strongly homogeneous model

Published on 18 Feb 2012 - 22:03

score 217 · Answer 3 · 2026-03-25 17:19:45

217

Views

Why do $\omega$-models of subsystems of $\mathsf{Z}_2$ satisfy full induction?

Published on 25 Mar 2026 - 17:19

score 410 · Answer 4 · 2012-02-20 08:39:24

410

Views

number of linear orders

Published on 20 Feb 2012 - 8:39

score 452 · Answer 5 · 2026-04-12 05:39:41

452

Views

Can locally finite structures really be defined as those structures omitting a certain quantifier-free type?

Published on 12 Apr 2026 - 5:39

score 601 · Answer 6 · 2026-04-09 23:37:29

601

Views

How exactly do logic and mathematics interact and what happens when we change the logic?

Published on 09 Apr 2026 - 23:37

score 466 · Answer 7 · 2026-04-12 13:04:44

466

Views

Conservative extension is equiconsistent?

Published on 12 Apr 2026 - 13:04

score 579 · Answer 8 · 2026-04-11 02:05:12

579

Views

Characterization of totally categorical theories

Published on 11 Apr 2026 - 2:05

score 725 · Answer 9 · 2026-04-10 17:42:16

725

Views

Why does creating a model show consistency?

Published on 10 Apr 2026 - 17:42

score 676 · Answer 10 · 2026-04-12 09:30:14

676

Views

Consistency of PA: why other proofs?

Published on 12 Apr 2026 - 9:30

score 78 · Answer 11 · 2026-03-25 09:34:06

78

Views

Modelchecking on Automata, $\phi$ not SAT and $\phi \models$ False

Published on 25 Mar 2026 - 9:34

score 318 · Answer 12 · 2026-03-29 14:27:13

318

Views

Superstructure with sets as atomic/base entities

Published on 29 Mar 2026 - 14:27

score 111 · Answer 13 · 2012-03-18 04:30:32

111

Views

A question about $R^\infty$-rank

Published on 18 Mar 2012 - 4:30

score 590 · Answer 14 · 2012-03-20 22:17:25

590

Views

Why is a commutative ring with an infinite number of idempotent elements unstable?

Published on 20 Mar 2012 - 22:17

score 271 · Answer 15 · 2012-03-21 09:01:15

271

Views

I want examples of definable groups in algebraically closed fields?

Published on 21 Mar 2012 - 9:01

List Question

What is the minimal axiomatization of a set of structures?

Give an example of a homogeneous, but not strongly homogeneous model

Why do $\omega$-models of subsystems of $\mathsf{Z}_2$ satisfy full induction?

number of linear orders

Can locally finite structures really be defined as those structures omitting a certain quantifier-free type?

How exactly do logic and mathematics interact and what happens when we change the logic?

Conservative extension is equiconsistent?

Characterization of totally categorical theories

Why does creating a model show consistency?

Consistency of PA: why other proofs?

Modelchecking on Automata, $\phi$ not SAT and $\phi \models$ False

Superstructure with sets as atomic/base entities

A question about $R^\infty$-rank

Why is a commutative ring with an infinite number of idempotent elements unstable?

I want examples of definable groups in algebraically closed fields?

Trending Questions

Popular # Hahtags

Popular Questions