MATH
Login Or Sign up

List Question

15
303
Views

Does second-order arithmetic (Z2) prove soundness and uniform reflection for first-order arithmetic (PA)?

Published on
#logic #proof-theory #incompleteness #higher-order-logic
7k
Views

annihilator method confusion

Published on
#ordinary-differential-equations #higher-order-logic
132
Views

A consistent first-order theory whose impredicative second-order variant is inconsistent

Published on
#predicate-logic #first-order-logic #higher-order-logic
459
Views

Why aren't there any first-order sentences which have the property of being true in all non-standard models of PA and false in the standard one?

Published on
#first-order-logic #higher-order-logic #nonstandard-models
2.1k
Views

Types versus kinds and sorts

Published on
#logic #lambda-calculus #type-theory #higher-order-logic
422
Views

Is it possible to prove that the encoding of existentials in System F is valid?

Published on
#logic #proof-theory #higher-order-logic #constructive-mathematics
219
Views

Completness in higher order logic and Interpretations

Published on
#logic #model-theory #higher-order-logic
493
Views

Proving property for all predicates in first order logic

Published on
#logic #first-order-logic #quantifiers #fake-proofs #higher-order-logic
264
Views

Are higher order logics substantially stronger than second order

Published on
#logic #higher-order-logic
401
Views

Logic question in Real Analysis

Published on
#real-analysis #limits #logic #predicate-logic #higher-order-logic
227
Views

What is the difference between logical and iterative set

Published on
#logic #foundations #higher-order-logic
176
Views

Second order universal quantifier elimination restriction

Published on
#logic #quantifiers #higher-order-logic #natural-deduction
261
Views

Is the first-order incompleteness of a theory (like arithmetics, set theory or logic itself) avoidable in a second or higher-order axiomatizations?

Published on
#logic #set-theory #philosophy #higher-order-logic
3.3k
Views

What's an example of a theory that's consistent yet has no model?

Published on
#logic #higher-order-logic
179
Views

Can "tit for tat" strategy be defined in monadic second-order logic?

Published on
#logic #game-theory #trees #higher-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.