The first-order structure of weakly Dedekind-finite set

DOI10.2178/JSL/1129642121MaRDI QIDQ5486247zbMATH OpenOpenAlexFDO

Authors Agatha C. Walczak-Typke

Publication date 6 September 2006

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1129642121

zbMATH Keywords

Dedekind-finiteAxiom of Choice\(\aleph_0\)-categorical structures

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Axiom of choice and related propositions (03E25)

Recommendations

• A note on weakly Dedekind finite sets
• On the semilattice of weak orders of a set
• First-order definability on finite structures
• scientific article; zbMATH DE number 2003164
• Finite sets and infinite sets in weak intuitionistic arithmetic
• Sequential topologies and Dedekind finite sets
• Weakly semirecursive sets and r.e. orderings
• Weak cardinality theorems for first-order logic (extended abstract)
• \(P\)-orderings of finite subsets of Dedekind domains
• The number of weak orderings of a finite set

Cites work

• A notion of rank in set theory without choice
• On o-amorphous sets
• Some Aspects and Examples of Infinity Notions
• The structure of amorphous sets
• Totally categorical groups and rings
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• \(\aleph_0\)-categorical stable groups

Cited in

(7)

• A Dedekind finite Borel set
• scientific article; zbMATH DE number 2003164 (Why is no real title available?)
• On quasi-amorphous sets
• Strongly Amorphous Sets and Dual Dedekind Infinity
• A note on weakly Dedekind finite sets
• Model theory without choice? Categoricity
• A model-theoretic approach to set theory without the axiom of choice

This page was built for publication: The first-order structure of weakly Dedekind-finite set

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