MATH
Login Or Sign up

List Question

15
1.6k
Views

Tricky proof in Natural Deduction [¬∀x∃y¬Rxy ⊢ ∃x∀yRxy]-help appreciated

Published on
#predicate-logic #first-order-logic #natural-deduction
2.1k
Views

Every teacher is liked by some student

Published on
#discrete-mathematics #logic #propositional-calculus #first-order-logic
120
Views

Why in countably saturated models, types that are consistent with $TH(\mathcal{M_a})$ are finitely realizable?

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

How to show that F is recursive?

Published on
#first-order-logic #recursion #incompleteness
79
Views

How should one read the s*(t) function in Mendelson's Introduction to Mathematical Logic?

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

Expressing a formula for: X is a power of N (some natural number) over FO+TC

Published on
#first-order-logic #gcd-and-lcm
156
Views

Defining a formula using FO+TC

Published on
#logic #model-theory #first-order-logic
1.8k
Views

Tigers and lions attack if they are hungry or threatened.

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

How to show $T=\{\forall x(x\neq S^{n}x)|1\leq n\}\cup\{\sigma\}$ in $\mathcal{L}=\{S\}$ is $\kappa$-categorical

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

Find a (closed) defining formula for XOR

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

Which of the following first order formulae is logically valid?

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic
239
Views

How to show factorial is recursive?

Published on
#logic #first-order-logic #recursion #incompleteness
77
Views

Describing all infinite models for the sentence $\psi :((P(c) \land \forall x_0(P(x_0) \to P(f(x_0)))) \to \forall x_0 P(x_0))$

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

Is $ConPA \rightarrow \neg \Box \neg ConPA$ true in the standard model of arithmetic?

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

Show followings are all equivalent.

Published on
#logic #first-order-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.