Nuprl Theory formula_falsification
(only non hidden objects are presented)
DISP
formula_falsifiable_df
<a:Assignment:L> |
<F:Formula:L>== <a> |
<F>
ABS
formula_falsifiable
a |
F == (F under a) = 3
THM
formula_falsifiable_wf
a:Assignment.
F:Formula. a |
F
THM
sq_stable__formula_falsifiable
a:Assignment.
F:Formula. SqStable(a |
F)
THM
decidable__formula_falsifiable
a:Assignment.
f:Formula. Dec(a |
f)
the other theories