MATH
Login Or Sign up

List Question

15
164
Views

Compositionality and First-Order Logic

Published on
#first-order-logic
369
Views

How to compare Peano numbers?

Published on
#logic #first-order-logic #peano-axioms
393
Views

A truth definition, wrong, but where

Published on
#logic #set-theory #model-theory #first-order-logic
84
Views

The "disjunction" of two theories

Published on
#logic #first-order-logic
174
Views

Getting auxiliary assumptions from a conclusion

Published on
#logic #first-order-logic
62
Views

Are all first-order truths of real arithmetic also true of the algebraic reals?

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

Can integers be defined in the first-order theory of the rationals?

Published on
#model-theory #rational-numbers #first-order-logic
892
Views

Defining new symbols (abbreviations) in first-order logic

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

Is there a way to treat arrays as sets?

Published on
#notation #first-order-logic
59
Views

Selecting a unique pair satisfying a condition $\varphi$ with an ordering

Published on
#elementary-set-theory #logic #proof-writing #first-order-logic #foundations
364
Views

Why isn't the inductive set _the_ set of natural numbers?

Published on
#set-theory #first-order-logic #foundations
969
Views

When do free variables occur? Why allow them? What is the intuition behind them?

Published on
#logic #predicate-logic #first-order-logic
183
Views

Some questions about first-order logic (arising from a book by Raymond M Smullyan)

Published on
#trees #first-order-logic
78
Views

How do I prove that the function symbol $\circ$ is not a term by induction in the calculus?

Published on
#logic #first-order-logic
433
Views

Why is better to work with first-order logic than with second-order logic?

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