MATH
Login Or Sign up

List Question

15
84
Views

Equivalence Between Sentences in $\mathcal{L}^{w}_{II}$ and in $\mathcal{L}_{\omega_1 \omega}$

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

What is the omega-completion of $ACA_0$

Published on
#logic #peano-axioms #reverse-math #second-order-logic
245
Views

What order types can well-ordered proper classes have?

Published on
#logic #set-theory #ordinals #well-orders #second-order-logic
75
Views

Set Builder Notation on predicate

Published on
#logic #second-order-logic
536
Views

What axiom system for the complex numbers is categorical?

Published on
#real-analysis #logic #complex-numbers #model-theory #second-order-logic
76
Views

Can order types of well-ordered proper classes be put in one to one correspondence with $V$?

Published on
#logic #set-theory #ordinals #well-orders #second-order-logic
510
Views

Is there a specific infinitary sentence second-order logic can't capture?

Published on
#logic #set-theory #model-theory #descriptive-set-theory #second-order-logic
111
Views

Why do you need the full semantics to prove the quasi categoricity of second-order ZFC

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

First-order Logic with infinite conjunction

Published on
#first-order-logic #second-order-logic
233
Views

Is existential second-order logic 'closed' under negation?

Published on
#logic #predicate-logic #second-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
376
Views

How strong is this second-order version of ZFC?

Published on
#logic #set-theory #model-theory #second-order-logic
22
Views

Theory to Signature Mapping?

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

Is "$\forall X\in\Gamma\forall Y\in \Sigma\exists x(x\in X\wedge x\in Y)$" a well-formed second-order logic formula?

Published on
#first-order-logic #second-order-logic
284
Views

Is infinitary first-order logic strictly more expressive than weak second-order logic?

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