MATH
Login Or Sign up

List Question

15
174
Views

To what degree are arbitrary true statements about the natural numbers provable?

Published on
#logic #first-order-logic #peano-axioms #incompleteness
137
Views

Is Kripke/relational/possible world semantics the special case of the the set semantics or first order logic?

Published on
#logic #first-order-logic #modal-logic #kripke-models
66
Views

Sentence which says for any $x\in\mathbb{N}$ there are only finitely many elements less then itself?

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

Give a sentence that's valid for a model whose universe has $n$ elements iff $n$ is even?

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

Prove that there exists $n$ such that $A_n$ is not a logical consequence of $B$.

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

What is surjective comparability equivalent to?

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

FOL: Explaining truth of an argument using basic modal semantics

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

FOL: How to explain that your countermodel interpretation “works”?

Published on
#logic #first-order-logic #predicate-logic #beth-tableau
54
Views

What's the consistency strength of intuitive partitioning and negation of Banach-Tarski paradox?

Published on
#set-theory #first-order-logic #set-partition
37
Views

Show that $\mathcal{L}$ structures $\mathcal{A}$ and $\mathcal{B}$ are not equivalent

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

Give a minimum sized structure such that this sentence is invalid.

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

Shoenfield's Mathematical Logic Chapter 1 Problem 3

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

Fitch Formal Proof Question

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

What is the equivalent of this form of choice?

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

What sets of real numbers are definable in the language of real closed fields?

Published on
#real-analysis #field-theory #first-order-logic #real-numbers #descriptive-set-theory

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.