1101 search results - page 18 / 221 » Forcing in proof theory |
150
Voted
CADE
1990
Springer
15 years 7 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
143
Voted
TYPES
1998
Springer
15 years 7 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
103
click to vote
OL
2008
15 years 3 months ago
2008
: This short article offers economically intuitive proofs of the Euler equation and the maximum principle based on one of the best known results in economics, namely that the margi...
122
Voted
APAL
2002
15 years 3 months ago
2002
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...
BSL
2007
15 years 3 months ago
2007
We introduce a nonstandard arithmetic NQA− based on the theory developed by R. Chuaqui and P. Suppes in [2] (we will denote it by NQA+ ), with a weakened external open minimizati...