First order logic with empty structures

DOI10.1007/BF02770510MaRDI QIDQ1262299zbMATH OpenOpenAlexFDO

Authors Mohamed A. Amer

Publication date 1989

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02770510

zbMATH Keywords

axiomatizabilitycompactnessdecidabilityfirst-order theories of empty structures

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Basic properties of first-order languages and structures (03C07) Foundations, relations to logic and deductive systems (18A15)

Review text

By an empty structure the author means a structure with the empty universe. He considers first-order theories of empty structures, discussing in particular axiomatizability, compactness and decidability. Some interesting examples of well-known model theoretical statements are adopted to this context.

Recommendations

• scientific article; zbMATH DE number 6379368
• scientific article; zbMATH DE number 2068677
• What is a logic? Towards axiomatic emptiness
• scientific article; zbMATH DE number 2149519
• Denotation and description in free logic*

Cites work

• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• scientific article; zbMATH DE number 3106607 (Why is no real title available?)
• On the rules of proof in the pure functional calculus of the first order
• Quantification and the empty domain
• Quantification theory and empty individual-domains
• The completeness of the first-order functional calculus

Cited in

(2)

• A first-order logic with no logical constants
• Minimal first-order structures

This page was built for publication: First order logic with empty structures

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