New posts in logic

An exercise in Fine Structure of constructible universe concerning projectum patterns

logic set-theory

System with infinite number of axioms

logic axioms incompleteness

Word for theories that cannot be disproven ?

Axiom of Choice - Type Theory (Proof)

logic axiom-of-choice type-theory constructive-mathematics

What is a finitary proof?

logic terminology

Defined negation in intuitionistic linear logic

logic intuitionistic-logic nonclassical-logic linear-logic

What's an Isomorphism?

abstract-algebra logic category-theory

Gödel's ontological proof and "modal collapses"

logic soft-question model-theory modal-logic

Brouwer's fixed point theorem and the one-point topology

general-topology logic category-theory fixed-point-theorems

Complex logic puzzle

logic set-theory

Formally what is a mathematical construction?

logic terminology

Measure of how much information is lost in an implication

logic soft-question information-theory philosophy kolmogorov-complexity

Theorem: Anti-differentiation is harder than differentiation

logic differential-algebra

Are there deduction systems, which judge propositions by their proofs?

reference-request logic

Clarification regarding substitution in sequent calculus

logic quantifiers proof-theory formal-proofs sequent-calculus

Properties of the internal language of the category of sheaves.

reference-request logic sheaf-theory topos-theory

The truth value of $(P):(\exists m \in \mathbb{Z}) (\forall y\in \mathbb{Q}) : my\in\mathbb{N}$

discrete-mathematics logic solution-verification propositional-calculus predicate-logic

Proving $\forall x[p\vee\Phi(x)]\Longleftrightarrow [p\vee\forall x[\Phi(x)]$, where $p$ does not contain $x$ as a free variable

logic first-order-logic predicate-logic quantifiers

Relative consistency of slightly modified GCH

logic set-theory

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

logic topos-theory constructive-mathematics grothendieck-topologies