scientific article; zbMATH DE number 3069864

MaRDI QIDQ5809945zbMATH OpenFDO

Authors Ladislav Rieger

Publication date 1951

Full work available at URL https://eudml.org/doc/11683

zbMATH Keywords

logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Generalizations of Gödel's incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic
• Generalizations of the Compactness Theorem and Gödel’s Completeness Theorem for Nonstandard Finite Structures
• scientific article; zbMATH DE number 4042209
• scientific article; zbMATH DE number 1868521
• Complete theories with finitely many countable models. II
• A note on recursive completions of the countable atomless Boolean algebras
• scientific article; zbMATH DE number 3904559
• Infinitary generalizations of Deligne's completeness theorem
• On the number of countable models of complete theories with finite Rudin-Keisler preorders
• scientific article; zbMATH DE number 5292743

Cites work

• Extensions of Partially Ordered Sets
• scientific article; zbMATH DE number 3026239 (Why is no real title available?)
• scientific article; zbMATH DE number 3032487 (Why is no real title available?)
• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• On Free ℵ_ξ-complete Boolean Algebras
• On the representation of Boolean algebras as fields of sets
• On the representation of 𝜎-complete Boolean algebras
• The completeness of the first-order functional calculus

Cited in

(2)

• scientific article; zbMATH DE number 3146056 (Why is no real title available?)
• Leon Henkin the reviewer

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 Q5809945)