MATH
Login Or Sign up

List Question

15
290
Views

Why the fact that $\mathbb{N}$ has decidable equality does not imply $\mathsf{HA} = \mathsf{PA}$?

Published on
#logic #computability #constructive-mathematics #intuitionistic-logic
73
Views

Adjoint a premise in a intuitionistic natural deduction first order logic

Published on
#logic #natural-deduction #intuitionistic-logic
97
Views

How Would an Intuitionist Prove This?

Published on
#constructive-mathematics #intuitionistic-logic
183
Views

Confusion about disjunction in constructive logic

Published on
#general-topology #logic #topos-theory #constructive-mathematics #intuitionistic-logic
62
Views

Help with proving $f^\ast R^\times = \operatorname{Spec}A_f$ where $f\in A$ and $R= \operatorname{Spec} k[x]$

Published on
#abstract-algebra #topos-theory #constructive-mathematics #algebras #intuitionistic-logic
138
Views

Good books on non-standard logics/set theories.

Published on
#constructive-mathematics #intuitionistic-logic #alternative-set-theories
283
Views

Example of Kripke's model.

Published on
#intuitionistic-logic
40
Views

Simple sentence in intuitionstic logic.

Published on
#intuitionistic-logic
70
Views

Intuitionistic Logic. Interpretation proof.

Published on
#intuitionistic-logic
53
Views

Intuitionistic logic- proof.

Published on
#intuitionistic-logic
239
Views

Prove that formula is not tautology.

Published on
#intuitionistic-logic
721
Views

Proof of the disjunction property

Published on
#logic #intuitionistic-logic #kripke-models
49
Views

Kripke models - prove that formula is not tautology in intuitionistical logic

Published on
#logic #proof-writing #proof-explanation #intuitionistic-logic
129
Views

Prove that formula is not tautology in intuitionistical logic

Published on
#logic #intuitionistic-logic
286
Views

How to prove ∃x∃yA↔∃y∃xA in intuitionistic first-order logic

Published on
#logic #predicate-logic #first-order-logic #intuitionistic-logic

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.