Question

Relationship between different Gödel Sentences

score 424 · Answer 1 · 2026-04-09 20:09:00

424

Views

Relationship between different Gödel Sentences

Published on 09 Apr 2026 - 20:09

score 64 · Answer 2 · 2026-04-14 03:05:07

64

Views

What Does V Mean in the Notation of Vaught, Denumerable models of complete theories(1959)?

Published on 14 Apr 2026 - 3:05

score 287 · Answer 3 · 2026-04-12 08:19:28

287

Views

Definition of an automorphism in model theory

Published on 12 Apr 2026 - 8:19

score 305 · Answer 4 · 2026-04-14 16:24:08

305

Views

Countable structure elementarily equivalent to $(\mathbb N; 0, S, < +, \cdot)$ via LS

Published on 14 Apr 2026 - 16:24

score 143 · Answer 5 · 2026-04-12 17:51:06

143

Views

Can every homomorphism in model theory be described by embeddings and surjective homomorphisms?

Published on 12 Apr 2026 - 17:51

score 143 · Answer 6 · 2026-04-17 12:10:10

143

Views

Overlapping of admissible words

Published on 17 Apr 2026 - 12:10

score 89 · Answer 7 · 2026-04-12 01:05:26

89

Views

Can we have another set of inference rule which is simplier and equivalent (in the sense that they prove the same formulas)?

Published on 12 Apr 2026 - 1:05

score 258 · Answer 8 · 2026-04-09 19:35:16

258

Views

Bijective homomorphism which is not an isomorphism

Published on 09 Apr 2026 - 19:35

score 133 · Answer 9 · 2026-04-15 04:04:40

133

Views

Signature for vector spaces

Published on 15 Apr 2026 - 4:04

score 73 · Answer 10 · 2026-04-11 07:44:47

73

Views

Terms in a generated substructure

Published on 11 Apr 2026 - 7:44

score 110 · Answer 11 · 2026-04-15 10:46:28

110

Views

Models of PA inside a computationally weaker theory

Published on 15 Apr 2026 - 10:46

score 64 · Answer 12 · 2026-04-12 11:03:08

64

Views

$\mathbb{C}_{\exp}$ is not model complete.

Published on 12 Apr 2026 - 11:03

score 263 · Answer 13 · 2026-04-10 17:48:02

263

Views

Internal logic of topoi

Published on 10 Apr 2026 - 17:48

score 39 · Answer 14 · 2026-04-13 05:15:18

Can we build the set of realizable types for a binary product of structures out of the set of realizable types for each structure individually?

score 70 · Answer 15 · 2026-04-10 23:20:55

70

Views

Isomorphism between generated structures

Published on 10 Apr 2026 - 23:20

List Question

Relationship between different Gödel Sentences

What Does V Mean in the Notation of Vaught, Denumerable models of complete theories(1959)?

Definition of an automorphism in model theory

Countable structure elementarily equivalent to $(\mathbb N; 0, S, < +, \cdot)$ via LS

Can every homomorphism in model theory be described by embeddings and surjective homomorphisms?

Overlapping of admissible words

Can we have another set of inference rule which is simplier and equivalent (in the sense that they prove the same formulas)?

Bijective homomorphism which is not an isomorphism

Signature for vector spaces

Terms in a generated substructure

Models of PA inside a computationally weaker theory

$\mathbb{C}_{\exp}$ is not model complete.

Internal logic of topoi

Can we build the set of realizable types for a binary product of structures out of the set of realizable types for each structure individually?

Isomorphism between generated structures

Trending Questions

Popular # Hahtags

Popular Questions