MATH
Login Or Sign up

List Question

15
520
Views

Fitch natural deduction proof of $\forall x F(x) \lor \forall x G(x) \vdash \forall x (F(x) \lor G(x))$

Published on
#logic #first-order-logic #natural-deduction
33
Views

Is a statement with a quantified function variable considered to be of second-order logic?

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

How to show a theory eliminates quantifiers?

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

Would adding abstractions over sets be inconsistent or otherwise increase the consistency strength?

Published on
#first-order-logic #alternative-set-theories
129
Views

What is the strongest known proxi-finite theory?

Published on
#set-theory #first-order-logic #large-cardinals
244
Views

First-Order Predicate Logic on example

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

Can $ZFC + \neg Con(ZFC)$ be interpretable in $PA + \omega$- rule?

Published on
#set-theory #first-order-logic
122
Views

Are there true arithmetical statements that corresponds to inconsistency of inconsistent theories?

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

Given all possible k-ary relations over an n-element set, which sentences converge to a non-zero percentage as n goes to infinity?

Published on
#combinatorics #logic #first-order-logic #model-theory
77
Views

Is "PA+ω-rule" and "Zermelo-infinity+every set is finite + ω-set-rule" equi-interpretable?

Published on
#logic #set-theory #first-order-logic
332
Views

Quantifier elimination exercise

Published on
#logic #first-order-logic #model-theory #quantifier-elimination
835
Views

Is there a definition for free and bound variables in logic?

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

Sentence satisfied by parity ordering and unsatisfied by natural ordering

Published on
#logic #first-order-logic #order-theory
278
Views

Syntactical proof of universal instantiation rule

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

Is NIP closed under $\exists$?

Published on
#logic #first-order-logic #model-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.