MATH
Login Or Sign up

List Question

15
291
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
76
Views

Adjoint a premise in a intuitionistic natural deduction first order logic

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

How Would an Intuitionist Prove This?

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

Confusion about disjunction in constructive logic

Published on
#general-topology #logic #topos-theory #constructive-mathematics #intuitionistic-logic
63
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
140
Views

Good books on non-standard logics/set theories.

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

Example of Kripke's model.

Published on
#intuitionistic-logic
43
Views

Simple sentence in intuitionstic logic.

Published on
#intuitionistic-logic
73
Views

Intuitionistic Logic. Interpretation proof.

Published on
#intuitionistic-logic
56
Views

Intuitionistic logic- proof.

Published on
#intuitionistic-logic
242
Views

Prove that formula is not tautology.

Published on
#intuitionistic-logic
725
Views

Proof of the disjunction property

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

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

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

Prove that formula is not tautology in intuitionistical logic

Published on
#logic #intuitionistic-logic
289
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

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

Popular Questions

Copyright © 2021 JogjaFile Inc.