Connectedness of the theory of non-surjective injections

DOI10.4064/FM-148-3-283-308zbMATH Open0840.03043OpenAlexW801568408MaRDI QIDQ4868620FDOQ4868620

Authors: Stanislaw Świerczkowski 

Publication date: 1 July 1996

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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

Recommendations

• A class of connected theories of order
• Computability-theoretic properties of injection structures
• Automated Deduction – CADE-20
• scientific article; zbMATH DE number 1163943
• Finite products of connected nowhere separable linearly ordered spaces

zbMATH Keywords

connectednessfirst-order theoryrelative interpretability of theoriesnon-surjective injection

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Relative consistency and interpretations (03F25)

Cited In (3)

• Title not available (Why is that?)
• Injectivity of the Connecting Homomorphisms in Inductive Limits of Elliott–Thomsen Algebras
• Primitive normality and primitive connectedness of the class of injective \(S\)-acts

This page was built for publication: Connectedness of the theory of non-surjective injections

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