MATH
Login Or Sign up

List Question

15
6.4k
Views

Double negation elimination in constructive logic

Published on
#logic #constructive-mathematics
385
Views

Can we get uncountable ordinal numbers through constructive method?

Published on
#set-theory #infinity #ordinals #constructive-mathematics
228
Views

A question on intuitionistc propositional logic

Published on
#logic #modal-logic #kripke-models #constructive-mathematics
224
Views

How to observe infinity?

Published on
#combinatorics #analysis #infinity #constructive-mathematics
379
Views

Help proving $ \sim \sim (p \to q),\sim \sim p \vdash \sim \sim q $ with intuitionistic axioms

Published on
#logic #constructive-mathematics
1.9k
Views

Constructing Idempotent Generator of Idempotent Ideal

Published on
#abstract-algebra #commutative-algebra #ring-theory #constructive-mathematics
321
Views

Model theory for intuitionistic predicate logic: a non-empty domain?

Published on
#logic #model-theory #constructive-mathematics
142
Views

sSet is a model for Martin-lof type theory

Published on
#category-theory #homotopy-theory #constructive-mathematics
524
Views

What do ultrafinitists think about Graham's number?

Published on
#philosophy #foundations #constructive-mathematics #ultrafinitism
221
Views

Why a "set" whose elements is contingent on the truth value of a proposition is a set?

Published on
#set-theory #constructive-mathematics
191
Views

Is there a problem with an answer that can't be found?

Published on
#logic #constructive-mathematics
205
Views

Proof-irrelevance of identity types

Published on
#logic #homotopy-theory #type-theory #lambda-calculus #constructive-mathematics
125
Views

Why are the Real Numbers indecomposable according to Wikipedia?

Published on
#constructive-mathematics
184
Views

Intuitionistic logic's book to self study...

Published on
#logic #self-learning #book-recommendation #constructive-mathematics #intuitionistic-logic
201
Views

Constructible problems for which the solution is non-constructible?

Published on
#model-theory #constraints #constructive-mathematics

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.