Automorphisms moving all non-algebraic points and an application to NF

DOI10.2307/2586714zbMath0919.03031OpenAlexW2014769261MaRDI QIDQ4227868

Friederike Körner

Publication date: 31 August 1999

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

Full work available at URL: https://doi.org/10.2307/2586714

zbMATH Keywords

consistencyrecursively saturated modelNFcountable theoryQuine's New Foundationsmaximal automorphisms

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57)

Related Items (3)

Automorphisms of models of arithmetic: a unified view ⋮ Iterated ultrapowers for the masses ⋮ Transplendent models: expansions omitting a type

Cites Work

• Unnamed Item
• Automorphisms of recursively saturated models of arithmetic
• New foundations and the axiom of counting
• The consistency problem for NF
• Cofinal Indiscernibles and some Applications to New Foundations
• Finite sets in Quine's new foundations
• New Foundations for Mathematical Logic
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

This page was built for publication: Automorphisms moving all non-algebraic points and an application to NF