MATH
Login Or Sign up

List Question

15
106
Views

A finite axiomatization of $\mathbb N$ and two non-standard models

Published on
#logic #first-order-logic #model-theory #axioms #natural-numbers
78
Views

I can demonstrate P → Q but not the equivalent (¬Q→¬P)

Published on
#logic #propositional-calculus
32
Views

Showing that if $M,s \vDash \exists x \varphi$ then $N,s \vDash \exists x \varphi$

Published on
#logic #first-order-logic #predicate-logic #model-theory #quantifiers
1.7k
Views

Universal Quantification and existential quantification question

Published on
#logic #predicate-logic #quantifiers
249
Views

Books on Mathematical Logic?

Published on
#logic #reference-request #soft-question
656
Views

Is second order logic compact and/or decidable?

Published on
#logic
415
Views

Determine a modal logic formula which a connective that is not valid but is true

Published on
#logic #modal-logic #kripke-models
44
Views

Which one is a correct way to give definitions?

Published on
#logic #definition
458
Views

Is a *self-contradictory self-referential* statement false?

Published on
#logic
224
Views

Lambda Calculus - Exercise with fixed point combinator

Published on
#proof-verification #logic #alternative-proof #lambda-calculus
304
Views

Understanding the meaning of "soundness" and "completeness" in the context of Algebraic Logic

Published on
#logic #boolean-algebra #algebraic-logic
149
Views

Is there some more fundamental math theory than logic?

Published on
#logic #foundations
132
Views

Is there an effective way of deciding whether a given Godel numbers for a formula or a sequence of formulas??

Published on
#logic #computability
100
Views

How can a system state its own consistency within its own language?

Published on
#logic #proof-theory
152
Views

Two set or three set Venn Diagram?

Published on
#algebra-precalculus #elementary-set-theory #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.