MATH
Login Or Sign up

List Question

15
92
Views

Are there logics that lack a Löwenheim number?

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

Does intuitionist second-order logic prove the negations of some classical theorems?

Published on
#logic #constructive-mathematics #second-order-logic
211
Views

Can second-order logic with Henkin semantics be completely described by a structurally-inductive translation into many-sorted first-order logic?

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

How does second-order arithmetic rule out non-standard numbers?

Published on
#arithmetic #model-theory #peano-axioms #nonstandard-models #second-order-logic
836
Views

Incompleteness theorem: Peano arithmetic vs. standard model of arithmetic

Published on
#logic #peano-axioms #incompleteness #provability #second-order-logic
126
Views

What is the interpretation of Presburger Arithmetic in WS1S?

Published on
#logic #computability #automata #second-order-logic #presburger-arithmetic
121
Views

Is there a class of finite graphs that can be axiomatized by existential second-order formulas but it's complement couldn't? (edited)

Published on
#logic #graph-theory #model-theory #second-order-logic
447
Views

When to use the "there exists" quantifier in tuple relational calculus?

Published on
#logic #computer-science #second-order-logic
59
Views

Which to use for this relational calculus query, the "for all" quantifier" or the "there exists" quantifier?

Published on
#logic #computer-science #second-order-logic
190
Views

Does the absolute fragment of second-order logic satisfy a strong Lowenheim-Skolem property?

Published on
#logic #set-theory #model-theory #forcing #second-order-logic
150
Views

Definition of ZFC2 (second order logic)

Published on
#set-theory #type-theory #second-order-logic
80
Views

Can second order ZFC have a set model

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

Is there a model of $\operatorname{Th}(\mathbb{R})$ which is not a complete ordered field?

Published on
#logic #first-order-logic #model-theory #second-order-logic
55
Views

Satisfiability of Second-Order Logic: Is this Decision Problem Complete for Some Level of the Arithmetical Hierarchy?

Published on
#logic #computer-science #decidability #second-order-logic #decision-problems
140
Views

Validity of theorems using natural numbers and irrational reals together

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