scientific article; zbMATH DE number 3878917

MaRDI QIDQ3343977zbMATH OpenFDO

Authors Sy-David Friedman

Publication date 1984

zbMATH Keywords

completeness theorem for infinitary logicperfect set theorem

Mathematics Subject Classification ID

Other infinitary logic (03C75) Descriptive set theory (03E15)

Recommendations

• Perfect set theorems for Π^1_2 in the universe without choice
• scientific article; zbMATH DE number 4002084
• Barwise: Infinitary Logic and Admissible Sets
• A Large \Prod 1 2 Set, Absolute for Set Forcings
• On the Cardinality of $$ \sum_2^1 $$ Sets of Reals

Cited in

(5)

• Infinitary logics and 0-1 laws
• Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\)
• scientific article; zbMATH DE number 4002084 (Why is no real title available?)
• Herbrand semantics, the potential infinite, and ontology-free logic
• Infinity in logic and computation. International conference, ILC 2007, Cape Town, South Africa, November 3--5, 2007. Revised selected papers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3343977)