MATH
Login Or Sign up

List Question

15
73
Views

Are following statements undefined or false?

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

Special property of structure about terms, show axiomatibility and non-axiomatibility

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

Is a set recursively enumerable iff it's a set of provable instances of a formula in Peano arithmetic?

Published on
#logic #first-order-logic #computability
254
Views

Partial isomorphism for every $k$. How it causes that structures are elementarily equivalent?

Published on
#first-order-logic
94
Views

Characterising the positive $\Pi_2$-sentences

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

Structures and their substructures.

Published on
#first-order-logic
182
Views

A formula in MSO

Published on
#first-order-logic
1.9k
Views

Why can't we formalize the lambda calculus in first order logic?

Published on
#logic #first-order-logic #lambda-calculus #combinatory-logic
517
Views

How can I prove that this sentence is valid?

Published on
#first-order-logic
200
Views

Why this predicate formula is not provable in intuitionistic logic

Published on
#propositional-calculus #predicate-logic #first-order-logic #constructive-mathematics #intuitionistic-logic
216
Views

Formalize a set theory argumentation from a short story fiction

Published on
#elementary-set-theory #logic #first-order-logic #formal-proofs
248
Views

Is negation of a $\Delta$-formula a $\Delta$-formula?

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

Finding a satisfiable closed wf that is not true if the domain has fewer than three elements

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

What's the difference between these two theorems?

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

How to define denotational semantics for definite descriptions in mathematical logic

Published on
#logic #first-order-logic #quantifiers #meta-math

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.