Internal Automorphisms and Antimorphisms of Models of Nf

&
Journal of Symbolic Logic:1-5 (forthcoming)
  Copy   BIBTEX

Abstract

It is shown that every model of NF admits a permutation model containing an internal automorphism.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2024.47

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,945

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
A Reduction of the NF Consistency Problem.Athanassios Tzouvaras - 2007 - Journal of Symbolic Logic 72 (1):285 - 304.
Extensional quotients for type theory and the consistency problem for NF.Gian Antonelli - 1998 - Journal of Symbolic Logic 63 (1):247-261.
The Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.
The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
The strict order property and generic automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
Permutations and Wellfoundedness: The True Meaning of the Bizarre Arithmetic of Quine's NF.Thomas Forster - 2006 - Journal of Symbolic Logic 71 (1):227 - 240.
A partial model of NF with ZF.Nando Prati - 1993 - Mathematical Logic Quarterly 39 (1):274-278.
Further consistency and independence results in NF obtained by the permutation method.T. E. Forster - 1983 - Journal of Symbolic Logic 48 (2):236-238.

Analytics

Added to PP
2024-10-31

Downloads
9 (#1,585,274)

6 months
9 (#425,688)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Thomas Forster
Cambridge University

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references