MATH
Login Or Sign up

List Question

15
353
Views

Higher-Order Logic in ordinary Mathematics?

Published on
#logic #soft-question #philosophy #higher-order-logic
232
Views

A course on Logic.

Published on
#reference-request #logic #propositional-calculus #first-order-logic #higher-order-logic
57
Views

Extensionality of a hierarchy of functionals over $\mathbb{N}$

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

Can monadic second-order logic characterize finiteness?

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

Formulating that the universe is finite without establishing an upper limit

Published on
#logic #first-order-logic #higher-order-logic
379
Views

$\exists x ~ \forall y ~ f(x, y) \iff \forall y() ~ \exists x~ f(x, y(x))$ Name? Proof?

Published on
#logic #axioms #higher-order-logic
472
Views

Expressive Power of Second-Order Logic vs. Higher-Order Logics

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

Can the transfer principle apply to second-order logic if we transfer sets and relations to hyper-sets and hyper-relations?

Published on
#logic #nonstandard-analysis #higher-order-logic #nonstandard-models
497
Views

Is mathematical induction the only known example of a higher-order logic?

Published on
#logic #propositional-calculus #first-order-logic #higher-order-logic
1.3k
Views

Show that well-ordering is not a first-order property.

Published on
#proof-writing #compactness #first-order-logic #proof-explanation #higher-order-logic
404
Views

The monadic second order theory with $<$ and Presburger arithmetic

Published on
#logic #foundations #formal-systems #higher-order-logic
1.6k
Views

What's a good introduction to Second Order Logic

Published on
#logic #book-recommendation #higher-order-logic
777
Views

Monadic second order logic without constants, functions and equality

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

Is the expressive power of infinitary logic language $L(\infty,\infty)$ larger, the same or smaller than that of ZFC+large cardinal axioms?

Published on
#logic #set-theory #cardinals #large-cardinals #higher-order-logic
2.4k
Views

Is second order logic even a logic?

Published on
#logic #higher-order-logic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.