Works matching Set theory

Results: 5000

Finite axiomatizability of local set theory.

Published in:

Mathematical Notes, 2011, v. 90, n. 1/2, p. 64, doi. 10.1134/S000143461107008X

By:

Zakharov, V.;
Yashin, A.

Publication type:

Article

Local Set Theory.

Published in:

Mathematical Notes, 2005, v. 77, n. 1/2, p. 177, doi. 10.1007/s11006-005-0019-x

By:

Zakharov, V. K.

Publication type:

Article

Interpreting lattice-valued set theory in fuzzy set theory.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 77, doi. 10.1093/jigpal/jzs023

By:

Hájek, Petr;
Haniková, Zuzana

Publication type:

Article

Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs.

Published in:

Studia Logica, 2024, v. 112, n. 5, p. 1181, doi. 10.1007/s11225-023-10087-w

By:

Balogun, Funmilola;
Löwe, Benedikt

Publication type:

Article

Model Approach to Nonstandard Analysis in the Context of Axiomatic Set Theory.

Published in:

Mathematical Notes, 2006, v. 79, n. 1/2, p. 122, doi. 10.1007/s11006-006-0012-z

By:

Yakovlev, I. V.

Publication type:

Article

From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti †.

Published in:

Mathematics (2227-7390), 2021, v. 9, n. 4, p. 397, doi. 10.3390/math9040397

By:

Ozawa, Masanao;
Kusraev, Anatoly Georgievich;
Kutateladze, Semën

Publication type:

Article

Topology in the Alternative Set Theory and Rough Sets via Fuzzy Type Theory.

Published in:

Mathematics (2227-7390), 2020, v. 8, n. 3, p. 432, doi. 10.3390/math8030432

By:

Novák, Vilém

Publication type:

Article

PARACONSISTENT AND PARACOMPLETE ZERMELO–FRAENKEL SET THEORY.

Published in:

Review of Symbolic Logic, 2024, v. 17, n. 4, p. 965, doi. 10.1017/S1755020323000382

By:

KHOMSKII, YURII;
ODDSSON, HRAFN VALTÝR

Publication type:

Article

On the axiom of extensionality in the positive set theory.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 97, doi. 10.1002/malq.200310009

By:

Esser, Olivier

Publication type:

Article

TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 868, doi. 10.1017/jsl.2017.77

By:

FUJIMOTO, KENTARO

Publication type:

Article

Rank-initial embeddings of non-standard models of set theory.

Published in:

Archive for Mathematical Logic, 2020, v. 59, n. 5/6, p. 517, doi. 10.1007/s00153-019-00699-2

By:

Kindvall Gorbow, Paul

Publication type:

Article

Paraconsistent set theory by predicating on consistency.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 97, doi. 10.1093/logcom/ext020

By:

CARNIELLI, WALTER;
CONIGLIO, MARCELO E.

Publication type:

Article

MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY.

Published in:

Bulletin of Symbolic Logic, 2017, v. 23, n. 4, p. 381, doi. 10.1017/bsl.2017.30

By:

DAMNJANOVIC, ZLATAN

Publication type:

Article

The axiom of multiple choice and models for constructive set theory.

Published in:

Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500056

By:

van den Berg, Benno;
Moerdijk, Ieke

Publication type:

Article

Multiverse conceptions in set theory.

Published in:

Synthese, 2015, v. 192, n. 8, p. 2463, doi. 10.1007/s11229-015-0819-9

By:

Honzik, Radek;
Antos, Carolin;
Friedman, Sy-David;
Ternullo, Claudio

Publication type:

Article

THE FORMAL-LOGICAL ANALYSIS OF THE FOUNDATION OF SET THEORY.

Published in:

Bulletin of Pure & Applied Sciences-Mathematics, 2017, v. 36E, n. 2, p. 329, doi. 10.5958/2320-3226.2017.00035.2

By:

Kalanov, Temur Z.

Publication type:

Article

Effectivity properties of intuitionistic set theory with collection scheme.

Published in:

Mathematical Notes, 2011, v. 89, n. 5/6, p. 619, doi. 10.1134/S0001434611050038

By:

Vladimirov, A. G.

Publication type:

Article

基于集合理论的求解Ramsey数算法.

Published in:

Journal of Jilin University (Science Edition) / Jilin Daxue Xuebao (Lixue Ban), 2019, v. 57, n. 3, p. 647, doi. 10.13413/j.cnki.jdxblxb.2018092

By:

白云霄

Publication type:

Article

Hybrid MCDM Based on VIKOR and Cross Entropy under Rough Neutrosophic Set Theory.

Published in:

Mathematics (2227-7390), 2021, v. 9, n. 12, p. 1334, doi. 10.3390/math9121334

By:

Rogulj, Katarina;
Kilić Pamuković, Jelena;
Ivić, Majda

Publication type:

Article

PARADOXES OF EARLY SET THEORY.

Published in:

Yearbook of George Baritiu Institute of History in Cluj-Napoca, Series Humanistica, 2016, v. 14, p. 241

By:

Criste, Cristina

Publication type:

Article

The entanglement of logic and set theory, constructively.

Published in:

Inquiry, 2022, v. 65, n. 6, p. 638, doi. 10.1080/0020174X.2019.1651080

By:

Crosilla, Laura

Publication type:

Article

ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 4, p. 782, doi. 10.1017/S1755020317000120

By:

OZAWA, MASANAO

Publication type:

Article

The axiom of choice and the law of excluded middle in weak set theories.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 2, p. 194, doi. 10.1002/malq.200710030

By:

Bell, John L.

Publication type:

Article

The natural numbers in constructive set theory.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 83, doi. 10.1002/malq.200710036

By:

Rathjen, Michael

Publication type:

Article

A note on Bar Induction in Constructive Set Theory.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 253, doi. 10.1002/malq.200510030

By:

Rathjen, Michael

Publication type:

Article

On topological set theory.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 3, p. 263, doi. 10.1002/malq.200410026

By:

Libert, Thierry;
Esser, Olivier

Publication type:

Article

The use of axiomatic fuzzy set theory in AHP and TOPSIS methodology to determine strategies priorities by SWOT analysis.

Published in:

Quality & Quantity, 2013, v. 47, n. 5, p. 2671, doi. 10.1007/s11135-012-9679-2

By:

Menga Ebonzo, Angelo;
Liu, Xiaodong

Publication type:

Article

EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY.

Published in:

Journal of Symbolic Logic, 2023, v. 88, n. 3, p. 1138, doi. 10.1017/jsl.2022.56

By:

FRITTAION, EMANUELE

Publication type:

Article

MINIMUM MODELS OF SECOND-ORDER SET THEORIES.

Published in:

Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 589, doi. 10.1017/jsl.2019.27

By:

WILLIAMS, KAMERYN J.

Publication type:

Article

FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1132, doi. 10.1017/jsl.2017.84

By:

GYLTERUD, HÅKON ROBBESTAD

Publication type:

Article

Concept Grounding and Knowledge of Set Theory.

Published in:

Philosophia, 2010, v. 38, n. 1, p. 179, doi. 10.1007/s11406-009-9186-4

By:

Roland, Jeffrey W.

Publication type:

Article

The Set Point Theory of Well-Being Has Serious Flaws: On the Eve of a Scientific Revolution?

Published in:

Social Indicators Research, 2010, v. 97, n. 1, p. 7, doi. 10.1007/s11205-009-9559-x

By:

Headey, Bruce

Publication type:

Article

Intuitionistic sets and numbers: small set theory and Heyting arithmetic.

Published in:

Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 79, doi. 10.1007/s00153-024-00935-4

By:

Shapiro, Stewart;
McCarty, Charles;
Rathjen, Michael

Publication type:

Article

A few more dissimilarities between second-order arithmetic and set theory.

Published in:

Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 147, doi. 10.1007/s00153-022-00829-3

By:

Fujimoto, Kentaro

Publication type:

Article

Fragments of Kripke-Platek set theory and the metamathematics of $$\alpha $$ -recursion theory.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 899, doi. 10.1007/s00153-016-0501-z

By:

Friedman, Sy-David;
Li, Wei;
Wong, Tin

Publication type:

Article

Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 789, doi. 10.1007/s00153-012-0299-2

By:

Chen, Ray-Ming;
Rathjen, Michael

Publication type:

Article

Pairs, sets and sequences in first-order theories.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 4, p. 299, doi. 10.1007/s00153-008-0087-1

By:

Visser, Albert

Publication type:

Article

City Boundaries—Utilizing Fuzzy Set Theory for the Identification and Localization of the Urban–Rural Transition Zone.

Published in:

Sustainability (2071-1050), 2024, v. 16, n. 21, p. 9490, doi. 10.3390/su16219490

By:

Biłozor, Andrzej;
Czyża, Szymon;
Cieślak, Iwona;
Szuniewicz, Karol

Publication type:

Article

On weak filters and ultrafilters: Set theory from (and for) knowledge representation.

Published in:

Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 68, doi. 10.1093/jigpal/jzab030

By:

Koutras, Costas D;
Moyzes, Christos;
Nomikos, Christos;
Tsaprounis, Konstantinos;
Zikos, Yorgos

Publication type:

Article

On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 482, doi. 10.1093/jigpal/jzt045

By:

Yatabe, Shunsuke

Publication type:

Article

On equality and natural numbers in Cantor-Łukasiewicz set theory.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 91, doi. 10.1093/jigpal/jzq019

By:

Hájek, Petr

Publication type:

Article

ON THE CIRCULARITY OF SET-THEORETIC SEMANTICS FOR SET THEORY.

Published in:

Epistemologia, 2014, v. 37, n. 1, p. 58, doi. 10.3280/epis2014-001004

By:

Bellotti, Luca

Publication type:

Article

Certain Partial Conservativeness Properties of Intuitionistic Set Theory with the Principle of Double Complement of Sets.

Published in:

Mathematical Notes, 2018, v. 103, n. 3/4, p. 378, doi. 10.1134/S0001434618030057

By:

Vladimirov, A. G.

Publication type:

Article

Students' conception of set theory through a board game and an active-learning unit.

Published in:

International Journal of Innovation in Science & Mathematics Education, 2020, v. 28, n. 1, p. 1, doi. 10.30722/ijisme.28.01.001

By:

Pawa, Surasak;
Laosinchai, Parames;
Nokkaew, Artorn;
Wongkia, Wararat

Publication type:

Article

Negation of permutation mass function in random permutation sets theory for uncertain information modeling.

Published in:

Complex & Intelligent Systems, 2024, v. 10, n. 6, p. 7697, doi. 10.1007/s40747-024-01569-y

By:

Tang, Yongchuan;
Li, Rongfei;
Guan, He;
Zhou, Deyun;
Huang, Yubo

Publication type:

Article

A NEW WEIGHTING APPROACH BASED ON ROUGH SET THEORY AND GRANULAR COMPUTING FOR ROAD SAFETY INDICATOR ANALYSIS.

Published in:

Computational Intelligence, 2016, v. 32, n. 4, p. 517, doi. 10.1111/coin.12061

By:

Li, Tianrui;
Ruan, Da;
Shen, Yongjun;
Hermans, Elke;
Wets, Geert

Publication type:

Article

Identification and Location of a Transitional Zone between an Urban and a Rural Area Using Fuzzy Set Theory, CLC, and HRL Data.

Published in:

Sustainability (2071-1050), 2019, v. 11, n. 24, p. 7014, doi. 10.3390/su11247014

By:

Biłozor, Andrzej;
Czyża, Szymon;
Bajerowski, Tomasz

Publication type:

Article

A Machine Learning Portfolio Allocation System for IPOs in Korean Markets Using GA-Rough Set Theory.

Published in:

Sustainability (2071-1050), 2019, v. 11, n. 23, p. 6803, doi. 10.3390/su11236803

By:

Kim, Jiwoo;
Shin, Sanghun;
Lee, Hee Soo;
Oh, Kyong Joo

Publication type:

Article

Evaluation of Students Performance using Fuzzy Set Theory in Online Learning of Islamic Finance Course.

Published in:

International Journal of Interactive Mobile Technologies, 2021, v. 15, n. 7, p. 202, doi. 10.3991/ijim.v15i07.20191

By:

Bakar, Nashirah Abu;
Rosbi, Sofian;
Bakar, Azizi Abu

Publication type:

Article

Methodological Issues of the Fuzzy Set Theory (Generalizing Article).

Published in:

Inorganic Materials, 2024, v. 60, n. 4, p. 389, doi. 10.1134/S0020168524700572

By:

Orlov, A. I.

Publication type:

Article