MATH
Login Or Sign up

List Question

15
77
Views

Models of extensions of ZFC, within $L_{\omega_1^{CK}}$?

Published on
#set-theory #first-order-logic
190
Views

Fraïsse Theorem in Bruno Poizat's "A course in model theory"

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

Semantic tableau with variables

Published on
#logic #first-order-logic #beth-tableau
59
Views

An inference in predicate logic that has to be established using resolution method

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

Is my result correct using resolution method?

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

Stock with long equation

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

Is this statement equivalent to AC?

Published on
#set-theory #first-order-logic #axiom-of-choice
81
Views

Is there a (finite) axiomsystem for the union of all classes of undirected graphs which are not finitely axiomatizable?

Published on
#first-order-logic
86
Views

An axiomatization of diversity relations in first-order logic without equality

Published on
#first-order-logic
192
Views

What does $\exists^{=1}$ stands for?

Published on
#logic #notation #first-order-logic
154
Views

$\lim_{x\to a}$ and extension by definition

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

Can we have a converse Skolem paradox?

Published on
#elementary-set-theory #first-order-logic #model-theory
294
Views

Help needed in understanding paramodulation in Prover9.

Published on
#proof-explanation #solution-verification #first-order-logic
930
Views

Correct logical equivalent of "Every real number except zero has multiplicative inverse."

Published on
#discrete-mathematics #logic #first-order-logic #predicate-logic #logic-translation
145
Views

Line $K$ is parallel to line $U$, and line $L$ intersects line $K$ at point $P$. Show $L \nparallel U$.

Published on
#geometry #logic #first-order-logic #alternative-proof #natural-deduction

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.