MATH
Login Or Sign up

List Question

15
179
Views

Henkinization vs Skolemization

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

Prove in formal arithmetic: $\neg\exists x.x + \overline{3} = \overline{2}$

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

Witnesses in the Henkin construction and the canonical model

Published on
#logic #first-order-logic #predicate-logic #model-theory
63
Views

Making sense of: "there is an uncountable set" is a logical consequence of $\mathrm{ZFC}$, yet $\mathrm{ZFC}$ is satisfiable in a countable domain.

Published on
#logic #first-order-logic #predicate-logic #model-theory
48
Views

This conditional statement is evaluated as true (by the program Tarski's world) however it seems false could you help detect my mistake?

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

Understanding the use of the Axiom of Choice in David Marker's proof of Compactness

Published on
#logic #first-order-logic #predicate-logic #model-theory
98
Views

Witnessing expansion of a first-order language and the use of the Axiom of Choice to expand any structure in the language

Published on
#logic #first-order-logic #predicate-logic #model-theory
85
Views

Derivable sequent

Published on
#logic #first-order-logic #predicate-logic #proof-theory #sequent-calculus
94
Views

How to express a function $f:A\rightarrow B$ as a first order structure?

Published on
#logic #first-order-logic #predicate-logic #model-theory
205
Views

Unification in first order logic

Published on
#logic #first-order-logic #predicate-logic #automated-theorem-proving #unification
107
Views

Does the property $\forall x\exists y\forall z: x*y*z=e$ hold in a group?

Published on
#abstract-algebra #group-theory #inverse #predicate-logic #quantifiers
47
Views

Cardinality of well-formed formulae on a multi-sorted signature

Published on
#logic #first-order-logic #predicate-logic #cardinals
96
Views

Why does the semantics og FOL “ignore” vacuous quantification

Published on
#logic #first-order-logic #predicate-logic #quantifiers
90
Views

How to interpret $\forall _{x: \phi(x)} \psi(x)$ versus $\forall _x (\phi(x) \wedge \psi (x))$

Published on
#logic #predicate-logic
124
Views

Difference between seemingly identical statements

Published on
#elementary-set-theory #logic #propositional-calculus #predicate-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.