MATH
Login Or Sign up

List Question

15
239
Views

Faster Higher-Order Derivatives

Published on
#calculus #derivatives #higher-order-logic
51
Views

What can we do with nonenumerable sets of formulas (e.g. formulas of Higher order Logic)?

Published on
#combinatorics #infinity #large-cardinals #higher-order-logic #second-order-logic
22
Views

Theory to Signature Mapping?

Published on
#first-order-logic #predicate-logic #higher-order-logic #second-order-logic
37
Views

When can and when cannot a second-/higher-order formula be written as (a countable family of) first-order formulas?

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

How to express ''there exists a subset $X$ of $\Delta$ which is such that at least $50$ percent of $X$ satisfy a property''

Published on
#logic #first-order-logic #predicate-logic #quantifiers #higher-order-logic
270
Views

Expressing binary quantifiers like 'most' and 'finitely many' in second-order logic

Published on
#logic #higher-order-logic #second-order-logic
112
Views

Would this argument support logicism?

Published on
#logic #set-theory #foundations #philosophy #higher-order-logic
300
Views

Defining functions in second-order arithmetic

Published on
#logic #formal-systems #higher-order-logic
313
Views

Examples of problems in second order arithmetic that can only be solved in third order arithmetic

Published on
#logic #computability #higher-order-logic
96
Views

Formulation of axiom of induction?

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

Logical equivalent of $\phi[x/y]$?

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

Conservative extension in higher order logic?

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

Can a variable depend on an existential variable?

Published on
#logic #soft-question #first-order-logic #higher-order-logic
128
Views

Equality notions in logics other than first order logic

Published on
#logic #soft-question #first-order-logic #philosophy #higher-order-logic
163
Views

The relationship between logics and algebraic structures and results in logic that correspond to results in Universal Algebra

Published on
#abstract-algebra #logic #model-theory #type-theory #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.