Posts by Julius H.‭

75%

+4 −0

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

1 answer · posted 2y ago by Julius H.‭ · last activity 2y ago by Peter Taylor‭

Question set-theory

66%

+2 −0

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

1 answer · posted 2y ago by Julius H.‭ · edited 2y ago by Peter Taylor‭

Question computational-mathematics proof-assistants

57%

+2 −1

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

0 answers · posted 2y ago by Julius H.‭

Question set-theory

55%

+3 −2

Meta Articles, please!

1 answer · posted 2y ago by Julius H.‭ · last activity 2y ago by Mithical‭

Question feature-request

50%

+0 −0

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

posted 2y ago by Julius H.‭ · edited 2y ago by The Amplitwist‭

Answer

50%

+4 −4

Q&A Defining Bayes’s theorem from scratch in ZFC

1 answer · posted 2y ago by Julius H.‭ · last activity 2y ago by xamidi‭

Question set-theory zfc bayes-theorem

44%

+2 −3

Q&A Cyclical or “loop” fractals?

2 answers · posted 2y ago by Julius H.‭ · last activity 2y ago by pbloem‭

Question real-analysis fractal

42%

+1 −2

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

1 answer · posted 2y ago by Julius H.‭ · edited 2y ago by xamidi‭

Question modal-logic proof-theory hilbert-systems axioms

42%

+1 −2

Q&A Explain derived categories to someone without a strong background in homological algebra [closed]

0 answers · posted 2y ago by Julius H.‭ · closed 2y ago by Peter Taylor‭

Question category-theory

40%

+0 −1

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

0 answers · posted 2y ago by Julius H.‭

Question logic

28%

+0 −3

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

1 answer · posted 2y ago by Julius H.‭ · last activity 2y ago by Dan Doel‭

Question logic

28%

+0 −3

Q&A What is a dual object? [closed]

0 answers · posted 2y ago by Julius H.‭ · closed 2y ago by Peter Taylor‭

Question category-theory

22%

+0 −5

Q&A What are the Peano axioms?

1 answer · posted 2y ago by Julius H.‭ · last activity 2y ago by rmf‭

Question logic

Communities

Posts by Julius H.‭