MATH
Login Or Sign up

List Question

15
59
Views

The set of all finite sequences in RCA0

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

A Peano system with an infinite initial segment

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

subsytems of second order arithmetic

Published on
#arithmetic #second-order-logic
155
Views

Is the positive fragment of second-order logic will full semantics compact?

Published on
#logic #solution-verification #model-theory #second-order-logic
22
Views

A fast growing functions in $\sf{ACA_0}$ and $\sf{Z_2}$

Published on
#formal-proofs #second-order-logic
50
Views

EER model or relational model for second order logic statements

Published on
#logic #mathematical-modeling #second-order-logic #relation-algebra
238
Views

Continuous First order logic vs Second order logic

Published on
#logic #first-order-logic #real-numbers #model-theory #second-order-logic
36
Views

Has it been proven that second order statements cannot be computed in polynomial time? Can some statements be proven to only be second order expresibl

Published on
#first-order-logic #model-theory #second-order-logic #descriptive-complexity
88
Views

Why is does this first-order set of axioms NOT genetically define the natural numbers?

Published on
#number-theory #first-order-logic #model-theory #peano-axioms #second-order-logic
66
Views

Quantifying Over Functions In Henkin Semantics

Published on
#model-theory #second-order-logic
161
Views

Is the theory for $\mathbb{R}$ categorical or not?

Published on
#logic #first-order-logic #model-theory #axioms #second-order-logic
87
Views

What recursive extensions are there of axiomatic second-order logic.

Published on
#logic #model-theory #foundations #second-order-logic
86
Views

Formalizing the notion of a finite number of steps.

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

Non-Henkin non-full semantics for second-order logic

Published on
#logic #reference-request #second-order-logic
58
Views

Does Tarskian semantics use a "larger set theory" to implement second order logic?

Published on
#logic #definition #model-theory #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.