1101 search results - page 3 / 221 » Forcing in proof theory |
CSL
2009
Springer
14 years 28 days ago
2009
Springer
JSYML
2008
13 years 6 months ago
2008
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...
JSYML
2006
13 years 6 months ago
2006
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].
NIL
1991
13 years 10 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
SOSL
1993
13 years 10 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...