MATH
Login Or Sign up

List Question

15
70
Views

Signature interpretable in a category K

Published on
#logic #category-theory #first-order-logic #exceptional-isomorphisms
1.9k
Views

Showing that a set of clauses is satisfiable using resolution

Published on
#logic #propositional-calculus
293
Views

Ehrenfeucht-Fraïssé games on linear orders

Published on
#logic #order-theory
758
Views

Negation of Limit Definition

Published on
#analysis #logic
136
Views

What properties does fuzzy logic preserve?

Published on
#logic #fuzzy-logic
190
Views

Ehrenfeucht-Fraisse games over finite sequences (i.e. words) and separability by first order formulas

Published on
#logic #first-order-logic #model-theory #game-theory #formal-languages
64
Views

Simplify expression involving sets

Published on
#elementary-set-theory #logic #proof-writing
349
Views

Undefined expressions in antecedents

Published on
#logic #soft-question
102
Views

how to compare the large numbers without using calculator and/or without large calculation

Published on
#elementary-number-theory #logic
69
Views

How does one come up with a new logic system?

Published on
#logic
3.2k
Views

Some $\Pi^1_1$ sentences are elementary

Published on
#logic #model-theory
65
Views

Clubs and some fixed type is realized by uncountably many elements.

Published on
#logic #model-theory #ordinals
796
Views

Simplifying propositional logic using 'laws of logic'

Published on
#discrete-mathematics #logic
207
Views

Is the set of finite groups primitive recursive?

Published on
#logic #computability
177
Views

Let $f$ be a function symbol. Which of these statements are equivalent to each other?

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.