Giorgio Venturi

Pedro Teixeira Yago

J. Philos. Log., August, 2024

What Model Companionship can Say about the continuum Problem.

[BibT_eX]

[DOI]

Matteo Viale

Rev. Symb. Log., 2024

ZF and its interpretations.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2024

A Logic of Isolation.

[BibT_eX]

[DOI]

Can Baskent

Proceedings of the Logic, Language, Information, and Computation, 2024

2023

Independence Proofs in non-Classical Set Theories.

[BibT_eX]

[DOI]

Rev. Symb. Log., December, 2023

Second order arithmetic as the model companion of set theory.

[BibT_eX]

[DOI]

Matteo Viale

Arch. Math. Log., 2023

2022

$\mathrm {ZF}$ Between Classicality and Non-classicality.

[BibT_eX]

[DOI]

Stud Logica, 2022

Ideal Objects for Set Theory.

[BibT_eX]

[DOI]

J. Philos. Log., 2022

Logics of Ignorance and Being Wrong.

[BibT_eX]

[DOI]

Log. J. IGPL, 2022

2021

Speech acts in mathematics.

[BibT_eX]

[DOI]

Marco Ruffino

Luca San Mauro

Synth., 2021

Non-classical Models of ZF.

[BibT_eX]

[DOI]

Stud Logica, 2021

Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2021

On Negation for Non-classical Set Theories.

[BibT_eX]

[DOI]

J. Philos. Log., 2021

Tableaux for essence and contingency.

[BibT_eX]

[DOI]

Pedro Teixeira Yago

Log. J. IGPL, 2021

Squeezing Arguments and the Plurality of Informal Notions.

[BibT_eX]

[DOI]

Edson Bezerra

FLAP, 2021

2020

Infinite Forcing and the Generic Multiverse.

[BibT_eX]

[DOI]

Stud Logica, 2020

A note on logics of essence and accident.

[BibT_eX]

[DOI]

Log. J. IGPL, 2020

2017

A direct proof of the five element basis theorem.

[BibT_eX]

[DOI]

Boban Velickovic

Math. Log. Q., 2017

2016

Reflexive-Insensitive Modal Logics.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2016

Preservation of Suslin Trees and Side conditions.

[BibT_eX]

[DOI]

J. Symb. Log., 2016

2011

User-Centred Evaluation and Organisational Acceptability of a Distributed Repository to Support Communities of Learners.

[BibT_eX]

[DOI]

Proceedings of the Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding, 2011

2006

People, Organizations, and Processes: An Inquiry into the Adoption of User-Centered Design in Industry.

[BibT_eX]

[DOI]

Jimmy Troost

Timo Jokela

Int. J. Hum. Comput. Interact., 2006

User-centred evaluation of an e-learning repository.

[BibT_eX]

[DOI]

Nik Bessis

Proceedings of the 4th Nordic Conference on Human-Computer Interaction 2006, Oslo, 2006

2004

Survey on the UCD integration in the industry.

[BibT_eX]

[DOI]