MATH
Login Or Sign up

List Question

15
275
Views

Induction in a first order system with ZF

Published on
#set-theory #induction #first-order-logic
2k
Views

How to find the shortest proof of a provable theorem?

Published on
#logic #set-theory #first-order-logic #proof-theory
48
Views

Relations between equations in a theory, and the number of independent equations

Published on
#abstract-algebra #logic #model-theory #first-order-logic
392
Views

Deduction and universal generalization in FOL

Published on
#first-order-logic
90
Views

Non-forking frames in AEC

Published on
#model-theory #first-order-logic
169
Views

First-Order Language without any Constant, Function, or Relation

Published on
#logic #first-order-logic
4.4k
Views

Re-expressing a statement in First Order Logic in Propositional Logic

Published on
#logic #predicate-logic #first-order-logic
229
Views

How to define mathematical objects from scratch?

Published on
#soft-question #set-theory #first-order-logic #foundations
495
Views

Proof for $\forall x A(x) \Leftrightarrow \neg \exists x \neg A(x)$

Published on
#logic #boolean-algebra #first-order-logic #quantifiers
469
Views

Hilbert system (with inference rule of modus ponens), show $\vdash \exists x (Px \rightarrow \forall x Px)$

Published on
#logic #first-order-logic #formal-proofs
197
Views

The symbol $\sigma[x/a]$ in mathematical logic

Published on
#logic #first-order-logic
253
Views

Use of model theory in flag algebras

Published on
#combinatorics #graph-theory #model-theory #first-order-logic
107
Views

If a wff is simply atomic (e.g. $Pxy$) are $x$ and $y$ considered free in it?

Published on
#first-order-logic #formal-proofs
70
Views

Algebraic invariants for first order equivalence between fields

Published on
#abstract-algebra #field-theory #model-theory #first-order-logic #invariant-theory
229
Views

Impredicativity and set theory

Published on
#elementary-set-theory #logic #first-order-logic #philosophy

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.