scientific article; zbMATH DE number 935103

zbMATH Open0854.03004MaRDI QIDQ4895482FDOQ4895482

Authors: Mircea Reghiș, E. Roventa 

Publication date: 13 January 1997

Title of this publication is not available (Why is that?)

Recommendations

• Quantifiers determined by partial orderings
• Ordinal definability and combinatorics of equivalence relations
• Hierarchies of Partially Ordered Connectives and Quantifiers
• Proof-theoretical analysis of order relations
• Relativized logspace and generalized quantifiers over finite ordered structures
• On decidability and axiomatizability of some ordered structures
• scientific article; zbMATH DE number 475609
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Completeness and definability of a modal logic interpreted over iterated strict partial orders
• Counting quantifiers, successor relations, and logarithmic space

zbMATH Keywords

interpretationBoolean algebrapredicate logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logical aspects of Boolean algebras (03G05)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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