MATH
Login Or Sign up

List Question

15
258
Views

Is this theory a conservative extension of peano arithmetic?

Published on
#logic #arithmetic #first-order-logic #recursion #peano-axioms
826
Views

When are automorphism-invariant subsets definable?

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

Is this theory of recursive counting equi-interpretable with PA?

Published on
#logic #arithmetic #first-order-logic #recursion #peano-axioms
379
Views

Shortest FOL deduction for $\forall x \forall y(x = y \to y = x)$

Published on
#logic #first-order-logic #proof-theory #meta-math
304
Views

Is this proof of existence and uniqueness of recursive functions in ZF using recursive predicates valid?

Published on
#proof-verification #elementary-set-theory #logic #first-order-logic #foundations
92
Views

Can this ordinal system with a counting function interpret ZFC?

Published on
#set-theory #arithmetic #first-order-logic #ordinals
73
Views

Is there a relation between logical consequence, validity (tautology), and formula modeling?

Published on
#propositional-calculus #first-order-logic #predicate-logic
41
Views

On two equivalent definitions of orthogonal matrix.

Published on
#first-order-logic #orthogonal-matrices
26
Views

Bijection of two models

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

Zero-One Laws in Random Graph for Binomial Subgraph of Complete Bipartite graph

Published on
#combinatorics #graph-theory #first-order-logic #random-graphs #probabilistic-method
40
Views

Would the addition of an $\omega$-identity rule to the first order identity theory make any difference?

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

Is equality in PA just an equivalence relation or it fulfills the substitution schemata of first order logic with equality?

Published on
#logic #first-order-logic #peano-axioms
140
Views

Equivalent (?) definitions of $TP_2$

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

How many variables in formal logic?

Published on
#first-order-logic
647
Views

Two-sorted first-order set theory

Published on
#logic #set-theory #first-order-logic #model-theory

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.