MATH
Login Or Sign up

List Question

15
208
Views

Without excluded middle: simple example of field with nilpotents?

Published on
#abstract-algebra #logic #field-theory #topos-theory #constructive-mathematics
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
1.3k
Views

Poincaré and set theory

Published on
#set-theory #math-history #infinity #foundations #constructive-mathematics
139
Views

Good books on non-standard logics/set theories.

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

What are some good texts/notes on the construction of probability spaces for stochastic processes?

Published on
#probability-theory #reference-request #stochastic-processes #constructive-mathematics
405
Views

contraposition in intuitionistic logic

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

Usage of classical logical symbols in intuitionistic logic

Published on
#logic #predicate-logic #constructive-mathematics #intuitionistic-logic
258
Views

Is there a constructive proof that $2^X$ can't inject into $X$?

Published on
#logic #constructive-mathematics
182
Views

Why an understandable open problem In mathematics can not solvable?

Published on
#logic #education #constructive-mathematics #open-problem
527
Views

Dense topology <=> double negation operator in a constructive metatheory?

Published on
#logic #topos-theory #constructive-mathematics #grothendieck-topologies
270
Views

What's the strength of logic without $\neg\neg\exists x P(x) \implies \exists x P(x)$?

Published on
#logic #soft-question #formal-proofs #constructive-mathematics
728
Views

In what way intuitionism is unique in the constructive approach

Published on
#logic #philosophy #constructive-mathematics #intuitionistic-logic
151
Views

Is the sublocale determined by the double negation nucleus special among all the Boolean sublocales of a locale?

Published on
#general-topology #boolean-algebra #lattice-orders #constructive-mathematics #intuitionistic-logic
324
Views

Bijection between natural numbers and the real numbers in constructive mathematics

Published on
#logic #constructive-mathematics #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.