Question

Extending Takeuti's proof of the completeness theorem to sentences with constants.

score 27 · Answer 1 · 2023-08-09 00:10:59

27

Views

Extending Takeuti's proof of the completeness theorem to sentences with constants.

Published on 09 Aug 2023 - 0:10

score 108 · Answer 2 · 2023-08-09 00:52:09

108

Views

How exactly does completeness imply compactness?

Published on 09 Aug 2023 - 0:52

score 87 · Answer 3 · 2023-08-30 19:40:27

87

Views

What means to say that a result depends on a theorem?

Published on 30 Aug 2023 - 19:40

score 203 · Answer 4 · 2026-03-27 07:17:16

203

Views

What is an example of a proof that uses the principle of explosion/ex falso quodlibet?

Published on 27 Mar 2026 - 7:17

score 58 · Answer 5 · 2023-11-01 22:23:49

58

Views

Is a proof one kind of computation?

Published on 01 Nov 2023 - 22:23

score 42 · Answer 6 · 2026-03-29 02:46:38

42

Views

Alternative formation/ notation for axiom of mathematical induction

Published on 29 Mar 2026 - 2:46

score 78 · Answer 7 · 2023-11-12 17:55:17

78

Views

Given an axiomatics, can you use its model to prove a theorem in that axiomatic?

Published on 12 Nov 2023 - 17:55

score 88 · Answer 8 · 2023-11-16 21:34:53

88

Views

Motivations for introducing a "super-universe"

Published on 16 Nov 2023 - 21:34

score 81 · Answer 9 · 2026-03-24 23:56:08

81

Views

Are finitist systems the ones with a proof-theoretic ordinal of at most $\omega^\omega$?

Published on 24 Mar 2026 - 23:56

score 246 · Answer 10 · 2023-12-27 21:20:30

246

Views

How to prove that Peirce's law does not hold in this logical system?

Published on 27 Dec 2023 - 21:20

score 408 · Answer 11 · 2026-03-27 07:13:45

408

Views

Are there axioms in a natural deduction system?

Published on 27 Mar 2026 - 7:13

score 44 · Answer 12 · 2026-02-23 12:09:14

44

Views

What is the correct way to interpret the Intuitionistic rules of Kleene's sequent (Gentzen) system G1 (in sec. 77 of Kleene I.M. 1952)

Published on 23 Feb 2026 - 12:09

score 61 · Answer 13 · 2026-03-27 13:38:10

61

Views

Michell FPL 2.3.5 (observable types)

Published on 27 Mar 2026 - 13:38

score 93 · Answer 14 · 2024-02-02 11:19:26

93

Views

The provability predicate in incompleteness theorem

Published on 02 Feb 2024 - 11:19

score 97 · Answer 15 · 2026-03-22 08:49:11

97

Views

Computational Complexity of Equational Logic

Published on 22 Mar 2026 - 8:49

List Question

Extending Takeuti's proof of the completeness theorem to sentences with constants.

How exactly does completeness imply compactness?

What means to say that a result depends on a theorem?

What is an example of a proof that uses the principle of explosion/ex falso quodlibet?

Is a proof one kind of computation?

Alternative formation/ notation for axiom of mathematical induction

Given an axiomatics, can you use its model to prove a theorem in that axiomatic?

Motivations for introducing a "super-universe"

Are finitist systems the ones with a proof-theoretic ordinal of at most $\omega^\omega$?

How to prove that Peirce's law does not hold in this logical system?

Are there axioms in a natural deduction system?

What is the correct way to interpret the Intuitionistic rules of Kleene's sequent (Gentzen) system G1 (in sec. 77 of Kleene I.M. 1952)

Michell FPL 2.3.5 (observable types)

The provability predicate in incompleteness theorem

Computational Complexity of Equational Logic

Trending Questions

Popular # Hahtags

Popular Questions