MATH
Login Or Sign up

List Question

15
61
Views

Monadic Second-order Logic of 2 Successors and Binary Tree Automata

Published on
#logic #reference-request #automata #trees #second-order-logic
54
Views

Does ((L=NP) and (PH=PSPACE)) imply (FO=SO)? Is (L=/=NP) or (PH=/=PSPACE)?

Published on
#logic #first-order-logic #computational-complexity #second-order-logic #descriptive-complexity
294
Views

Given FOL=Turing machines, why is SOL different than FOL?

Published on
#logic #computer-science #first-order-logic #turing-machines #second-order-logic
148
Views

CH holds in V if and only if CH is actually true, for V a model of ZFC2

Published on
#logic #set-theory #second-order-logic
146
Views

Does having many models yield complex second-order theories?

Published on
#logic #set-theory #model-theory #computability #second-order-logic
109
Views

When can a statement in Second Order Logic be converted into a statement in First Order Logic

Published on
#first-order-logic #peano-axioms #second-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
374
Views

Is the axiom of induction required for proving the first Gödel's incompleteness theorem?

Published on
#logic #first-order-logic #peano-axioms #incompleteness #second-order-logic
61
Views

Is there a commonly used notion of regular language outside of finite order types and $\omega$?

Published on
#logic #order-theory #automata #regular-language #second-order-logic
101
Views

Derivative of a trace with relation to a vector inside a kronecker product

Published on
#derivatives #kronecker-product #second-order-logic
585
Views

The complexity of finiteness

Published on
#logic #set-theory #model-theory #axiom-of-choice #second-order-logic
55
Views

What is the best way to define a generically finite set?

Published on
#solution-verification #first-order-logic #second-order-logic
36
Views

Completeness Axiom of L2Real is True under an interpretation about probability in GTM53

Published on
#probability-theory #logic #real-numbers #second-order-logic
191
Views

A Question regarding Properties of predicates and the definition of the Quantifiers

Published on
#logic #propositional-calculus #first-order-logic #second-order-logic
106
Views

What is the proof theoretic ordinal of $\mathsf{B\Sigma}_{2}^{0}$?

Published on
#logic #second-order-logic #reverse-math #ordinal-analysis

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.