Beneš's partial model of NF: an old result revisited (Q740207): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A partial model for Quine's “New foundations” / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4530231 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4709702 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A set of axioms for logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stratified languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New Foundations for Mathematical Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the consistency of Quine's <i>New foundations for mathematical logic</i> / rank | |||
Normal rank |
Latest revision as of 00:21, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Beneš's partial model of NF: an old result revisited |
scientific article |
Statements
Beneš's partial model of NF: an old result revisited (English)
0 references
2 September 2014
0 references
New Foundations
0 references
comprehension
0 references