Vote summary for Julius H.‭

A daily summary of votes received for posts.

May 3, 2026: 0

+1

−0

What are the “increasingly stable consequences of the large cardinal hierarchy”?

Question Q&A

+0

−1

Defining Bayes’s theorem from scratch in ZFC

Question Q&A

Feb 23, 2026: +1

+1

−0

Articles, please!

Question Meta

Feb 19, 2026: +1

+1

−0

Concrete examples of set theorists thinking independence proofs only determine provability rather than that a statement is neither true nor false?

Question Q&A

Oct 25, 2024: +1

+1

−0

Articles, please!

Question Meta

Aug 3, 2024: +1

+1

−0

Defining Bayes’s theorem from scratch in ZFC

Question Q&A

Jun 10, 2024: +1

+1

−0

Concrete examples of set theorists thinking independence proofs only determine provability rather than that a statement is neither true nor false?

Question Q&A

Apr 30, 2024: -2

+0

−1

Explain derived categories to someone without a strong background in homological algebra

Question Q&A

+0

−1

What are the Peano axioms?

Question Q&A

Apr 10, 2024: 0

+1

−1

Defining Bayes’s theorem from scratch in ZFC

Question Q&A

Apr 7, 2024: +2

+1

−0

What is the significance of the K-axiom in modal logic S5?

Question Q&A

+1

−0

A program which could derive theorems given formation rules in any modal logic?

Question Q&A

Mar 10, 2024: -4

+0

−1

What is a “first-order substructural logic that has a cut-free sequent calculus”?

Question Q&A

+0

−1

What is the significance of the K-axiom in modal logic S5?

Question Q&A

+0

−1

What is a one-variable fragment of first-order logic?

Question Q&A

+0

−1

What are the Peano axioms?

Question Q&A

Mar 3, 2024: -1

+0

−1

What is a “first-order substructural logic that has a cut-free sequent calculus”?

Question Q&A

Feb 26, 2024: -1

+0

−1

What is a “first-order substructural logic that has a cut-free sequent calculus”?

Question Q&A

+0

−1

What is the significance of the K-axiom in modal logic S5?

Question Q&A

+1

−0

Articles, please!

Question Meta

Feb 19, 2024: -1

+0

−1

What are the Peano axioms?

Question Q&A

Feb 18, 2024: -3

+0

−3

What is a dual object?

Question Q&A

+1

−1

Explain derived categories to someone without a strong background in homological algebra

Question Q&A

Feb 15, 2024: -2

+0

−2

What are the Peano axioms?

Question Q&A