MATH
Login Or Sign up

List Question

15
319
Views

Are the following two first-order logic statements correct?

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

What model do you get from PA without addition and multiplication?

Published on
#natural-numbers #peano-axioms #first-order-logic
5.7k
Views

what is the diffrence between a term , constant and variable in first order logic languages ?

Published on
#logic #propositional-calculus #first-order-logic
222
Views

Use of first-order logic to formalize scheduling problem

Published on
#logic #first-order-logic
3.8k
Views

Is the compactness theorem (from mathematical logic) equivalent to the Axiom of Choice?

Published on
#model-theory #axiom-of-choice #first-order-logic
131
Views

A question about quantifiers

Published on
#elementary-set-theory #proof-writing #first-order-logic
367
Views

Understanding Formulas in First Order Logic

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

Proving tautologies using semantic definitions

Published on
#first-order-logic
164
Views

The set of primes as the spectrum of a first-order theory

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

Basics of Infinitary Formal Languages

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

Most astonishing applications of compactness theorem outside logic

Published on
#logic #model-theory #compactness #big-list #first-order-logic
1.2k
Views

Is $ \pi $ definable in $(\Bbb R,0,1,+,×, <,\exp) $?

Published on
#real-analysis #model-theory #first-order-logic
275
Views

Some doubts about predicate calculus

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

Some doubts about interpretation of an atomic formula in predicate calculus

Published on
#logic #propositional-calculus #predicate-logic #first-order-logic
1.5k
Views

Propositional Logic and First-Order Logic

Published on
#propositional-calculus #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.